Lists (2)
Starred repositories
The BusTub Relational Database Management System (Educational)
eLLM: Run Long-Horizon Inference Faster on CPUs Than on GPUs
Lean certificates accompanying Navier-Stokes and Euler results
Instant, Concurrent, Secure & Lightweight Sandbox for AI Agents.
The ultimate open-source Overleaf extension and alternative: a free, self-hosted, drop-in replacement for Overleaf Community Edition with nearly all Pro feature—SSO, AI Assistant, Git/GitHub sync, …
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
Prolly is a content-addressed ordered map built on prolly trees. It gives applications immutable snapshots, cheap branching, structural sharing, efficient diffs and merges, sync primitives, and ver…
Versioned, fast, distributed Datalog engine for everyone.
Irmin is a distributed database that follows the same design principles as Git
A prolly tree (probabilistic tree) is a data structure designed to provide efficient storage, retrieval, and modification of ordered data with integrity guarantees.
like netcat, but over Tailscale's data plane, without Tailscale's control plane
Content of the Error Correction Zoo, stored in structured YAML format
Implements harmful/harmless refusal removal using pure HF Transformers
A comprehensive, from-scratch Java Virtual Machine built in Rust, featuring a modular architecture, full bytecode support, and JNI integration
DeepSeek Harness: Everything is a Plugin.
Download and install agent skills declaratively with Nix
Xterm LaTeX renderer for AI workflows
Configure CLIProxyAPI as a service in your nix configuration
A persistent workspace for development work that self-improves and continues beyond one session.
Fine-tune LLMs from one YAML. Layer streaming trains an 8B model on a 4 GB laptop GPU.
ZX Sketch is a web-based graphical editor for the ZX Calculus.
Censorship circumvention tool using Google Docs Viewer domain fronting