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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-09-15 20:34:02 +0000