Alternatives and similar repositories for MultiPaxos

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

• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆54Updated 7 months ago
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 4 years ago
• 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
• PingCAP-QE / Naglfar
  An automatic test pipeline for distributed systems.
  ☆17Updated 3 years ago
• pingcap / tidb-engine-ext
  A TiKV based `c dynamic library` for extending storage system in TiDB cluster
  ☆33Updated last week
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆63Updated 2 years ago
• TPC-TiKV / rfc
  ☆24Updated 3 years ago
• cosven / tidb-testing
  scripts for testing TiDB
  ☆10Updated last year
• JYwellin / CRDT-TLA
  Specifying and Verifying CRDT Protocols using TLA+
  ☆42Updated 3 years ago
• penberg / ycsb-rs
  A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆28Updated 2 years ago
• databendlabs / opencache
  Cache server :)
  ☆33Updated last year
• skyzh / raft-kvs
  ⛵ A distributed key-value store based on Raft. (WIP)
  ☆43Updated 5 years ago
• datafusion-contrib / datafusion-dolomite
  Experimental DataFusion Optimizer
  ☆47Updated last year
• 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
• skyzh / pg_poop
  A Postgres extension that rewrites strings to 💩
  ☆21Updated 2 years ago
• risinglightdb / sqlplannertest-rs
  A yaml-based SQL planner test framework
  ☆27Updated 4 months ago
• fpaxos / ffpaxos-tlaplus
  TLA+ specification of Fast Flexible Paxos
  ☆18Updated 4 years ago
• cow-on-board / engula-operator
  engula-operator creates/configures/manages engula clusters atop Kubernetes
  ☆11Updated 3 years ago
• Little-Wallace / naivedb
  A simple sql server code by rust
  ☆65Updated 3 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• pisimulation / epaxos
  A Pure Rust Implementation of Egalitarian Paxos
  ☆49Updated 5 years ago
• NYU-NEWS / janus
  ☆51Updated last year
• tikv / rfcs
  RFCs for changes to TiKV and its ecosystem
  ☆78Updated 4 months ago
• skyzh / rust-ycsb
  YCSB in Rust (WIP)
  ☆19Updated 3 years ago
• LemonHX / optimistic_lock_coupling_rs
  🍋: A General Lock following paper "Optimistic Lock Coupling: A Scalable and Efficient General-Purpose Synchronization Method"
  ☆27Updated 3 years ago
• MrCroxx / RunKV
  [WIP] An experimental cloud-native distributed KV engine for OLTP workload.
  ☆69Updated 2 years ago
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆127Updated last year
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆29Updated last year
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆80Updated 2 years ago