Alternatives and similar repositories for MultiPaxos:

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

• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 4 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆52Updated 7 months ago
• JYwellin / CRDT-TLA
  Specifying and Verifying CRDT Protocols using TLA+
  ☆42Updated 3 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆24Updated last year
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆63Updated 2 years ago
• dranov / raft-tla
  ☆21Updated 3 years ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆63Updated 2 years ago
• belliottsmith / accord
  ☆26Updated 2 years ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆49Updated 3 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆35Updated 3 weeks ago
• cosven / tidb-testing
  scripts for testing TiDB
  ☆10Updated last year
• otrack / on-epaxos-correctness
  On the correctness of Egalitarian Paxos
  ☆16Updated 5 years ago
• pdlfs / tablefs
  Fast and efficient file system metadata through LSM-tree
  ☆29Updated 2 years ago
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆79Updated 2 years ago
• PingCAP-QE / clustered-index-rand-test
  ☆12Updated last year
• penberg / ycsb-rs
  A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆28Updated 2 years ago
• ease-lab / Hermes
  Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…
  ☆168Updated last year
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆112Updated 10 years ago
• pingcap / tidb-engine-ext
  A TiKV based `c dynamic library` for extending storage system in TiDB cluster
  ☆34Updated last week
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆127Updated last year
• skyzh / pg_poop
  A Postgres extension that rewrites strings to 💩
  ☆21Updated last year
• TPC-TiKV / rfc
  ☆24Updated 3 years ago
• pisimulation / epaxos
  A Pure Rust Implementation of Egalitarian Paxos
  ☆49Updated 5 years ago
• tikv / rfcs
  RFCs for changes to TiKV and its ecosystem
  ☆78Updated 3 months ago
• flode / BwTree
  Implementation of the BwTree as specified by Microsoft Research
  ☆100Updated 9 years ago
• AugmentedTimeProject / AugmentedTimeProject
  A project to implement Augmented Time
  ☆50Updated 10 years ago
• sfu-dis / ermia
  ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)
  ☆88Updated 2 years ago
• NYU-NEWS / janus
  ☆51Updated last year
• PingCAP-QE / horoscope
  horoscope is an optimizer inspector for DBMS.
  ☆36Updated 4 years ago