paxos-rs
isubasinghe
Formally verified implementation of Paxos for consensus in distributed systems.
3
Stars
0
Forks
3
Watchers
Rust
Language
Growth over time
1 data points · 2023-04-10 → 2023-04-10
Stars
Forks
Watchers
💬
How do you feel about this project?
Ask AI about paxos-rs
Question copied to clipboardWhat is the isubasinghe/paxos-rs GitHub project? Description: "Formally verified implementation of Paxos for consensus in distributed systems. ". Written in Rust. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
How to clone paxos-rs
Clone via HTTPS
git clone https://github.com/isubasinghe/paxos-rs.git
Clone via SSH
[email protected]:isubasinghe/paxos-rs.git
Download ZIP
Download master.zipFound an issue?
Report bugs or request features on the paxos-rs issue tracker:
Open GitHub Issues