The Topos of Programming | Yon
yon-lang.org
A topos-oriented programming language. Native via MLIR and LLVM, with a content-addressed heap on the Leech lattice.