Vitor Enes's repositories
threshold-rs
Threshold data structures in Rust!
pluscal-rs
Let's write some PlusCal in Rust!
exactly-once
Exactly-Once Quantity Transfer
Language:JavaMIT-0000
bookkeeper-tlaplus
A TLA+ specification of the Apache BookKeeper replication protocol
goose
Load testing framework, inspired by Locust
Language:RustApache-2.0000
Language:PythonApache-2.0000
Language:PythonApache-2.0000
tsunami
Rust crate for running one-off cloud jobs
Language:RustApache-2.0000