EPaxos (essentially leaderless Paxos) is interesting as well, but I'm not sure how much deployment it's seen: https://github.com/efficient/epaxos https://github

EPaxos (essentially leaderless Paxos) is interesting as well, but I'm not sure how much deployment it's seen: https://github.com/efficient/epaxos https://github.com/efficient/epaxos The repo includes a TLA+ model too, which will hopefully become a trend in newly proposed distributed systems in the future! Cassandra looked into implementing it, and reached a prototype implementation with ~60% better performance, but it looks like the contributor didn't continue driving it: https://issues.apache.org/jira/browse/CASSANDRA-6246 https://issues.apache.org/jira/browse/CASSANDRA-6246