Need help with paxos?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

137 Stars 2 Forks 11 Commits 0 Opened issues


simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly

Services available


Need anything else?

Contributors list

# 12,550
11 commits

paxos documentation chat sponsors

Currently, this is an implementation of CASPaxos built on top of the sled lightweight database kit.

It is being grown into a more featureful replication library that is mindful of modern consensus research.

why not raft?

  • raft is great for teaching purposes, but is not very performant
  • a replicated log is just the beginning


  • [ ] simple http API
  • [ ] built-in kv
  • [ ] membership reconfiguration
  • [ ] cheap-paxos storage reduction
  • [ ] gossip-based replication of state
  • [ ] log reclamation
  • [ ] read-only followers


We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.