Alternatives and similar repositories for paxi

Users that are interested in paxi are comparing it to the libraries listed below

• efficient / epaxos
  ☆631Updated 4 years ago
• utsaslab / pebblesdb
  The PebblesDB write-optimized key-value store (SOSP 17)
  ☆522Updated last year
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆504Updated 10 months ago
• yaledb / calvin
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆329Updated 4 years ago
• pingcap / go-ycsb
  A Go port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆628Updated last week
• anishathalye / porcupine
  A fast linearizability checker written in Go 🔎
  ☆1,126Updated 2 weeks ago
• peterbourgon / caspaxos
  A Go implementation of the CASPaxos protocol
  ☆298Updated 7 years ago
• go-distributed / epaxos
  epaxos
  ☆102Updated 10 years ago
• pingcap / tla-plus
  ☆304Updated last year
• ease-lab / Hermes
  Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…
  ☆172Updated last year
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆104Updated 7 years ago
• nvb / epaxos
  A pluggable implementation of the Egalitarian Paxos Consensus Protocol
  ☆63Updated 5 years ago
• pingcap / chaos
  A test framework for linearizability check with Go
  ☆211Updated 6 years ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆139Updated 5 years ago
• rescrv / HyperLevelDB
  A fork of LevelDB intended to meet the needs of HyperDex while remaining compatible with LevelDB.
  ☆464Updated 9 years ago
• ongardie / dissertation
  Sources for my PhD dissertation on the Raft consensus algorithm
  ☆1,060Updated 9 years ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆191Updated last year
• nvb / rafttoy
  A playground to experiment with Raft proposal pipeline optimization
  ☆16Updated 3 years ago
• tikv / titan
  A RocksDB plugin for key-value separation, inspired by WiscKey.
  ☆513Updated 5 months ago
• danchia / ddb
  ☆132Updated 7 years ago
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆416Updated last month
• PlatformLab / RAMCloud
  **No Longer Maintained** Official RAMCloud repo
  ☆504Updated 6 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆59Updated last year
• etcd-io / dbtester
  Distributed database benchmark tester
  ☆292Updated 2 years ago
• madthanu / alice
  ☆185Updated 7 years ago
• xiang90 / paxos
  A go implementation of the Paxos algorithm
  ☆347Updated 7 years ago
• hydro-project / anna
  A low-latency, cloud-native KVS
  ☆706Updated 4 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆121Updated 3 years ago
• dgryski / go-tinylfu
  TinyLFU cache admission policy
  ☆270Updated 11 months ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago