malte's git repos
100% virus-free
index
Name
Description
Idle
reMder
render reMarkable documents to PDF
2 weeks
lean-brooks
Lean 4 formalization of Brooks theorem
7 weeks
s6-rc.nix
NixOS module for configuring s6-rc
4 months
toytt
toy implementation of dependent type theory
4 months
life
conways game of life
4 months
bwinf402
Einreichung zum 40. Bundeswettbewerb Informatik, 2. Runde
4 months