index
NameDescriptionOwnerIdleLinks
gitolfs3A very simple Git LFS server that stores stuff in S3-compatible backendsRutger Broekhoff23 hourssummarylogtree
rdcapsissomething something placeholder textRutger Broekhoff4 weekssummarylogtree
verified-dyn-lang-interpArtifact for https://doi.org/10.1145/3747537Rutger Broekhoff9 monthssummarylogtree
icalproxyA filter for the iCal trash that Brightspace spits outRutger Broekhoff13 monthssummarylogtree
oeufPlayground for public transit dataRutger Broekhoff13 monthssummarylogtree
mininix-formalizationCoq Formalization for MininixRutger Broekhoff21 monthssummarylogtree
zig-nkeysNKeys support for ZigRutger Broekhoff23 monthssummarylogtree
generated by cgit v1.3 (git 2.53.0) at 2026-04-08 19:08:26 +0000