malte's git repos
100% virus-free
index
Name
Description
Idle
reMder
render reMarkable documents to PDF
6 days
lean-brooks
Lean 4 formalization of Brooks theorem
6 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