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

yk packages

A batteries-included framework for building web apps

Compile Cargo project with zig as linker

a simple container runtime that aspires to become `runc` for unikernels

Safe Rust bindings to POSIX-ish APIs

2D puppet model renderer compatible with Live2D

High-performance JavaScript/TypeScript compiler toolchain in Zig.

A better build tool for Java, Scala and Kotlin: Simpler than Maven, easier than Gradle, with 3-7x faster dev workflows than other JVM build tools