cgit on fautchen.eu

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