self-hosted, distributed Durable Objects

A terminal that's always beside your Dock — not a Quake-style hotkey overlay, a permanent fixture

HTTP router for Lean4

Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.

stalin brutally optimizing Scheme compiler, with Debianization patches

high-speed timing library in Rust

WikiLean — Wikipedia mathematics annotated with Mathlib4/Lean formalization links

A library for incremental computations

Kimi Code CLI is your next CLI agent.

Language based on Rewriting Logic

Nix overlay for Lean 4, and lake2nix

⛔ A lightweight website blocker with a user friendly interface

Website for NYC Lean (lean.nyc)

Programming language for literate programming law specification

Formalizing the Wikifunctions project in Lean4

Entirety of `rustc`, translated to C.

A functional, content-addressable programming language.

An interactive/automated program verifier

Aspects of categorical differential geometry, formalised in lean 4.

A neovim plugin for folding documentation comments in rust files.

Insert is a programming language for self-modifying code.

(at least a useful portion of) Temporal Logic of Actions, a.k.a. TLA in Lean 4

[SIGMOD 2026] F3: The Open-Source Data File Format for the Future

AI tools for Physlib

Wasm interpreter in lean, designed for reasoning

A Rust library for manipulating curves

Modular Unix-like 64-bit kernel

BRAT - Beta Reviewer's Auto-update Tool for Obsidian.