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