malte's git repos
100% virus-free
index
Name
Description
Idle
bwinf402
Einreichung zum 40. Bundeswettbewerb Informatik, 2. Runde
2 years
life
conway's game of life
18 months
reMder
render reMarkable documents to PDF
6 months
s6-rc.nix
NixOS module for configuring s6-rc
13 months
toytt
toy implementation of dependent type theory
3 months