JIT compiler and runtime for a toy language, using Cranelift

Extremely fast Query Engine for DataFrames, written in Rust

Gitify macOS native port for my personal use

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Racing to the bottom of CPU performance

Automatically prove mathematical statements about your jax code in lean

An Earley-Algorithm Context-free grammar Parser Toolkit

🍼 Plugin driven WYSIWYG markdown editor framework.

self-hosted, distributed Durable Objects

Defines the Rust borrow checker.

Universal provider proxy for OpenAI Codex & Claude Code — use any LLM (Claude, Gemini, Grok, DeepSeek, Ollama…) with Codex CLI, App, SDK, and Claude Code

authenticate, sudo, login with your fingerprint wire(less)ly without having to spend $149 at the cost of some security

The elevator programming game!

Multi-tenant Nix Binary Cache

Modern embedded framework, using Rust and async.

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

AOT compiler to target lightweight Lottie animation for Web

OpenPanel is an open-source web and product analytics platform, an open-source alternative to Mixpanel with optional self-hosting.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Embeddable Postgres with real-time, reactive bindings.

Reverse engineered Linux driver for the Apple Neural Engine (ANE).

Lock-free adaptive radix tree [OSDI '26]

Visa Vulnerability Agentic Harness

Open device management

An opinionated changelog manager