malte's git repos

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