index
NameDescriptionIdle
reMderrender reMarkable documents to PDF11 days
lleapLanguage LEArning Player5 months
lean-brooksLean 4 formalization of Brooks theorem12 months
s6-rc.nixNixOS module for configuring s6-rc15 months
toytttoy implementation of dependent type theory15 months
lifeconways game of life15 months
bwinf402Einreichung zum 40. Bundeswettbewerb Informatik, 2. Runde15 months
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-07 16:55:30 +0000