index
NameDescriptionIdle
s6-rc.nixNixOS module for configuring s6-rc11 days
toytttoy implementation of dependent type theory11 days
reMderrender reMarkable documents to PDF11 days
lifeconways game of life11 days
bwinf402Einreichung zum 40. Bundeswettbewerb Informatik, 2. Runde11 days