index
NameDescriptionOwnerIdleLinks
rdcapsissomething something placeholder textRutger Broekhoff3 dayssummarylogtree
gitolfs3A very simple Git LFS server that stores stuff in S3-compatible backendsRutger Broekhoff3 monthssummarylogtree
verified-dyn-lang-interpArtifact for https://doi.org/10.1145/3747537Rutger Broekhoff5 monthssummarylogtree
icalproxyA filter for the iCal trash that Brightspace spits outRutger Broekhoff8 monthssummarylogtree
oeufPlayground for public transit dataRutger Broekhoff8 monthssummarylogtree
mininix-formalizationCoq Formalization for MininixRutger Broekhoff17 monthssummarylogtree
zig-nkeysNKeys support for ZigRutger Broekhoff19 monthssummarylogtree
generated by cgit v1.2.3 (git 2.49.0) at 2025-12-01 00:35:43 +0000