malte's git repos

Name	Description	Idle
lean-brooks	Lean 4 formalization of Brooks theorem	9 days
s6-rc.nix	NixOS module for configuring s6-rc	5 weeks
toytt	toy implementation of dependent type theory	5 weeks
reMder	render reMarkable documents to PDF	5 weeks
life	conways game of life	5 weeks
bwinf402	Einreichung zum 40. Bundeswettbewerb Informatik, 2. Runde	5 weeks