malte's git repos

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