Stars
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
Lean 4 programming language and theorem prover
Experiments on automation for Lean
The MaPLe compiler: efficient and scalable parallel functional programming
Compiler for Elm, a functional language for reliable webapps.
Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl
A bot that plays on the hanab.live interface.
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.
Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.
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.
Anki is a smart spaced repetition flashcard program
Sandstorm is a self-hostable web productivity suite. It's implemented as a security-hardened web app package manager.
A simulator for strategies of a well-known cooperative card game.