GitHub repository: pi0/haret
Primary language: Rust
Description: A strongly consistent distributed coordination system, built using proven protocols & implemented in Rust.