zkdream.net zkdream · she/they
Making small linux static binaries
free monoids & free commutative monoids
implementing a heap in agda
homological algebraic formalizations with the coq proof assistant
hohohohohohohohoh
monadic parsing combinatorics