index
NameDescriptionIdle
reMderrender reMarkable documents to PDF7 weeks
lean-brooksLean 4 formalization of Brooks theorem4 months
s6-rc.nixNixOS module for configuring s6-rc6 months
toytttoy implementation of dependent type theory6 months
lifeconways game of life6 months
bwinf402Einreichung zum 40. Bundeswettbewerb Informatik, 2. Runde6 months