Alternatives and similar repositories for MultiPaxos:

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

• JYwellin / CRDT-TLA
  Specifying and Verifying CRDT Protocols using TLA+
  ☆42Updated 3 years ago
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 4 years ago
• pdlfs / tablefs
  Fast and efficient file system metadata through LSM-tree
  ☆29Updated 2 years ago
• otrack / on-epaxos-correctness
  On the correctness of Egalitarian Paxos
  ☆16Updated 5 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆63Updated 2 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆52Updated 6 months ago
• penberg / ycsb-rs
  A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆28Updated 2 years ago
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆29Updated last year
• qed-solver / prover
  A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.
  ☆47Updated 10 months 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
• risinglightdb / sqlplannertest-rs
  A yaml-based SQL planner test framework
  ☆26Updated 3 months ago
• TPC-TiKV / rfc
  ☆24Updated 3 years ago
• NYU-NEWS / janus
  ☆50Updated last year
• dranov / raft-tla
  ☆21Updated 3 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• belliottsmith / accord
  ☆26Updated 2 years ago
• skyzh / pg_poop
  A Postgres extension that rewrites strings to 💩
  ☆21Updated last year
• tikv / rfcs
  RFCs for changes to TiKV and its ecosystem
  ☆78Updated 2 months ago
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆77Updated 2 years ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆34Updated this week
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆88Updated 7 years ago
• UWHustle / HATtrick
  ☆30Updated 2 years ago
• BusyJay / mini-pd
  A minimal implementation of tikv/pd in Rust.
  ☆64Updated 3 years ago
• cosven / tidb-testing
  scripts for testing TiDB
  ☆10Updated last year
• vmware-archive / sql-to-dbsp-compiler
  Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)
  ☆28Updated last year
• PingCAP-QE / Naglfar
  An automatic test pipeline for distributed systems.
  ☆17Updated 3 years ago
• databendlabs / openkv
  LSM based key-value store in rust, design for cloud
  ☆87Updated 3 years ago
• PingCAP-QE / horoscope
  horoscope is an optimizer inspector for DBMS.
  ☆36Updated 3 years ago