cgit on fautchen.eu
public repositories
index
Name
Description
Owner
Idle
Links
ri-lmpmc-formalization
Artifact for Research Internship: Linkable MPMC queues in Iris
Rutger Broekhoff
3 days
summary
log
tree
gitolfs3
A very simple Git LFS server that stores stuff in S3-compatible backends
Rutger Broekhoff
3 months
summary
log
tree
rdcapsis
something something placeholder text
Rutger Broekhoff
4 months
summary
log
tree
verified-dyn-lang-interp
Artifact for https://doi.org/10.1145/3747537
Rutger Broekhoff
12 months
summary
log
tree
icalproxy
A filter for the iCal trash that Brightspace spits out
Rutger Broekhoff
15 months
summary
log
tree
oeuf
Playground for public transit data
Rutger Broekhoff
15 months
summary
log
tree
mininix-formalization
Coq Formalization for Mininix
Rutger Broekhoff
2 years
summary
log
tree
zig-nkeys
NKeys support for Zig
Rutger Broekhoff
2 years
summary
log
tree
