France
Lean formalisation for Busy Beavers
Flexible completion framework for neovim
Simple and fast fuzzy finder for neovim
Intuitionistic propositional logic prover written in Lean 4
LISP in Zig: a tiny LISP interpreter
A tiny modal text editor written in zig
A tiny bf insterpreter
Structural editing in neovim, powered by tree-sitter
A pure Rust SAT solver
Rust logger for SAT-related solvers