index
NameDescriptionOwnerIdleLinks
gitolfs3A very simple Git LFS server that stores stuff in S3-compatible backendsRutger Broekhoff2 monthssummarylogtree
icalproxyA filter for the iCal trash that Brightspace spits outRutger Broekhoff3 monthssummarylogtree
oeufPlayground for public transit dataRutger Broekhoff3 monthssummarylogtree
mininix-formalizationCoq Formalization for MininixRutger Broekhoff12 monthssummarylogtree
zig-nkeysNKeys support for ZigRutger Broekhoff14 monthssummarylogtree