Stars
Rust implementation of Tailscale (preview, experimental)
The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, offline-first, and distributed applications.
Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
Sub-millisecond VM sandboxes for AI agents via copy-on-write forking
⌥ AI Coding agent for the terminal — hash-anchored edits, optimized tool harness, LSP, Python, browser, subagents, and more
Structured Editing and Navigation in Emacs with Tree-Sitter
Super simple group chat, without a subscription
Experimental imperative-style music sequence generator engine
📸 Delightful Swift snapshot testing.
A high-level Rust library to help write clients for the Signal Messenger.
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.
Learn to build safety-critical systems in C. Prove first, code second.
Bonsplit is a custom tab bar and layout split library for macOS apps. Out of the box 120fps animations, drag-and-drop reordering, SwiftUI support & keyboard navigation.
Apache Kafka® compatible broker with S3, PostgreSQL, SQLite, Apache Iceberg and Delta Lake
Common Expression Language -- specification and binary representation
Smart code bundler that turns repositories into optimized code bundles meeting a token budget in milliseconds
The data primitive for the agent loop.
🦠 Simulator for a particle system showing life-like behaviour.