Maja Kądziołka
meithecatte
Systems software toucher. Functional programming enjoyer. Alleged math nerd. Fascinated by compilers and proof assistants.
enumflags2
Rust library for typesystem-assisted bitflags.
RustUpdated 6/8/2025
gbtetris
A compilable Gameboy Tetris disassembly, hopefully fully labeled and documented one day.
AssemblyUpdated 6/6/2025
fake-static
rustc hates him! Sidestep borrow checking with this weird trick.
RustUpdated 6/2/2025
miniforth
A bootsector FORTH
ForthUpdated 5/30/2025
busycoq
Busy Beaver deciders backed by Coq proof
CoqUpdated 5/21/2025