index
NameDescriptionOwnerIdleLinks
rdcapsissomething something placeholder textRutger Broekhoff8 dayssummarylogtree
gitolfs3A very simple Git LFS server that stores stuff in S3-compatible backendsRutger Broekhoff4 monthssummarylogtree
icalproxyA filter for the iCal trash that Brightspace spits outRutger Broekhoff4 monthssummarylogtree
oeufPlayground for public transit dataRutger Broekhoff4 monthssummarylogtree
mininix-formalizationCoq Formalization for MininixRutger Broekhoff13 monthssummarylogtree
zig-nkeysNKeys support for ZigRutger Broekhoff15 monthssummarylogtree