index
NameDescriptionIdle
reMderrender reMarkable documents to PDF14 days
lean-brooksLean 4 formalization of Brooks theorem2 months
s6-rc.nixNixOS module for configuring s6-rc5 months
toytttoy implementation of dependent type theory5 months
lifeconways game of life5 months
bwinf402Einreichung zum 40. Bundeswettbewerb Informatik, 2. Runde5 months
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-08-09 15:44:06 +0000