Work
Work
Three projects on one algebra. Each page states what exists and what does not.
-
Research · active
Apeiron
A Rust library on ℝ[x]/(x² − σ) and one table, with Lean refinements for its primitives.
Rust · Lean 4 · Aeneas · Charon · GGUF -
Research · active
Song
An operating system, language and compiler, bootstrapped from a pinned assembly seed.
Slang · x86-64 assembly · Lean 4 -
Research · active
Simulation
World generation, physical simulation and game systems on the same algebra.
Rust · Bevy · Luau