paxos-rs

Formally verified implementation of Paxos for consensus in distributed systems.

Stars

Ecosystems: Rust

Statistics for this project are still being loaded, please check back later.