Live, laugh, virtual machines.
Minimathlib. Lean 4 library of mathematics independent of Mathlib for autodidactic purposes.
branchless. Rust
