A code formatter for Racket

Lean 4 kernel / 'external checker' written in Lean 4

A refreshingly simple data-driven game engine built in Rust

Lean 3's obsolete mathematical components library: please use mathlib4

The math library of Lean 4

Lean 4 programming language and theorem prover

Cap'n Proto for Rust

Experiments on automation for Lean

The Z3 Theorem Prover

The MaPLe compiler: efficient and scalable parallel functional programming

Compiler for Elm, a functional language for reliable webapps.

A fast, friendly, functional language.

Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl

Research prototype for Practal's logic.

A bot that plays on the hanab.live interface.

blazing fast implicit surface evaluation

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

The live data layer for apps and AI agents. Create up-to-the-second views into your business, just using SQL

A modular implementation of timely dataflow in Rust

An implementation of differential dataflow using timely dataflow on Rust.

A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.

A solver for the abstract board game Push Fight.

Anki is a smart spaced repetition flashcard program

Robin Hood Sort, for uniform data

Sandstorm is a self-hostable web productivity suite. It's implemented as a security-hardened web app package manager. | Actively sponsored by our friends at TestMu AI

A GPU compute-centric 2D renderer.

A simulator for strategies of a well-known cooperative card game.