index
NameDescriptionIdle
s6-rc.nixNixOS module for configuring s6-rc12 days
toytttoy implementation of dependent type theory12 days
reMderrender reMarkable documents to PDF12 days
lifeconways game of life12 days
bwinf402Einreichung zum 40. Bundeswettbewerb Informatik, 2. Runde12 days