jsen-'s starred repositories
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
aggligator
Aggregates multiple links (TCP, Bluetooth, USB or similar) into one connection having their combined bandwidth and provides resiliency against failure of individual links.
bsuccinct-rs
Rust libraries and programs focused on succinct data structures
imara-diff
Reliably performant diffing
rust-user-net
User-space network protocol stack written in Rust
sweep-bptree
A b+ tree, locality aware, so it's faster for ordered access