index
NameDescriptionIdle
reMderrender reMarkable documents to PDF2 months
lleapLanguage LEArning Player7 months
lean-brooksLean 4 formalization of Brooks theorem14 months
s6-rc.nixNixOS module for configuring s6-rc17 months
toytttoy implementation of dependent type theory17 months
lifeconways game of life17 months
bwinf402Einreichung zum 40. Bundeswettbewerb Informatik, 2. Runde17 months
generated by cgit v1.2.3 (git 2.25.1) at 2026-08-07 03:51:25 +0000