cgit on fautchen.eu

Name	Description	Owner	Idle	Links
gitolfs3	A very simple Git LFS server that stores stuff in S3-compatible backends	Rutger Broekhoff	3 months	summary log tree
rdcapsis	something something placeholder text	Rutger Broekhoff	3 months	summary log tree
verified-dyn-lang-interp	Artifact for https://doi.org/10.1145/3747537	Rutger Broekhoff	4 months	summary log tree
icalproxy	A filter for the iCal trash that Brightspace spits out	Rutger Broekhoff	8 months	summary log tree
oeuf	Playground for public transit data	Rutger Broekhoff	8 months	summary log tree
mininix-formalization	Coq Formalization for Mininix	Rutger Broekhoff	17 months	summary log tree
zig-nkeys	NKeys support for Zig	Rutger Broekhoff	19 months	summary log tree