Stars
Vera: a programming language designed for LLMs to write
Fast, accurate & comprehensive text measurement & layout
Convert math-rich Typst project to Microsoft Word format
Sub-millisecond VM sandboxes for AI agents via copy-on-write forking
Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.
Google Suite CLI: Gmail, GCal, GDrive, GContacts.
Replace port numbers with stable, named local URLs. For humans and agents.
Use claude-code for free in the terminal, VSCode extension or via discord like openclaw
A strong, neutral, principles-driven, open source typeface for text or display
A local-first microVM sandbox for running AI agents safely on macOS
A memory visualizer in Rust (ptrace + userfaultfd)
A contiguous-in-memory double-ended queue that derefs into a slice
The most comprehensive authentication framework for TypeScript
Connect All AI Code Tools (Claude Code, Cursor, Antigravity, Copilot, Codex, Gemini, OpenCode, Cline, OpenClaw...) to 40+ AI Providers & 100+ Models
Tiny Pointers is a C library for space-efficient pointer compression, reducing memory overhead while maintaining fast lookups. Supports SIMPLE, FIXED, and VARIABLE variants with thread safety and r…
Optimal evaluator of λ-calculus terms.
A purely functional programming language with first class types
A precise specification for "Rust lite / MIR plus"
Specification of the Formality proof and programming language
a model of MIR and the Rust type/trait system
High-performance asymmetric lossless compression. 40%+ faster decompression than LZ4 on ARM64 with better compression ratios. Optimized for Game Assets, Firmware & App Bundles.