index
NameDescriptionOwnerIdleLinks
icalproxyA filter for the iCal trash that Brightspace spits outRutger Broekhoff3 monthssummarylogtree
gitolfs3A very simple Git LFS server that stores stuff in S3-compatible backendsRutger Broekhoff3 monthssummarylogtree
oeufPlayground for public transit dataRutger Broekhoff5 monthssummarylogtree
mininix-formalizationCoq Formalization for MininixRutger Broekhoff8 monthssummarylogtree
zig-nkeysNKeys support for ZigRutger Broekhoff10 monthssummarylogtree
generated by cgit v1.2.3 (git 2.45.2) at 2025-02-20 19:06:15 +0000