index
NameDescriptionOwnerIdleLinks
icalproxyA filter for the iCal trash that Brightspace spits outRutger Broekhoff2 monthssummarylogtree
gitolfs3A very simple Git LFS server that stores stuff in S3-compatible backendsRutger Broekhoff2 monthssummarylogtree
oeufPlayground for public transit dataRutger Broekhoff4 monthssummarylogtree
mininix-formalizationCoq Formalization for MininixRutger Broekhoff7 monthssummarylogtree
zig-nkeysNKeys support for ZigRutger Broekhoff9 monthssummarylogtree
generated by cgit v1.2.3 (git 2.45.2) at 2025-01-17 23:21:51 +0000