Alternatives and similar repositories for python-paxos-jepsen

Users that are interested in python-paxos-jepsen are comparing it to the libraries listed below

• databendlabs / openkv
  LSM based key-value store in rust, design for cloud
  ☆87Updated 3 years ago
• drmingdrmer / consensus-essence
  distributed consensus protocol's bugs, flaws, deceptive traps, improvements
  ☆122Updated 8 months ago
• Veeupup / naive-query-engine
  A Toy Query Engine & SQL interface
  ☆67Updated 3 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago
• MrCroxx / RunKV
  [Archive] An experimental cloud-native distributed KV engine for OLTP workload.
  ☆72Updated 3 years ago
• UWHustle / hustle
  In-memory, columnar, arrow-based database.
  ☆48Updated 3 years ago
• dhanus / lsm-tree
  This is an implementation of a log structure merge tree.
  ☆59Updated 8 years ago
• rsy56640 / triviality
  record some trivialities
  ☆53Updated last year
• splvm / database-meetup
  The home page of database meetup
  ☆78Updated 3 years ago
• Little-Wallace / naivedb
  A simple sql server code by rust
  ☆65Updated 4 years ago
• turingcell / turingcell
  TuringCell: Run Linux over Paxos/Raft
  ☆77Updated 5 years ago
• jiangzhe / doradb
  DoraDB
  ☆117Updated this week
• PLW / blink-tree-logic
  BLInk Tree logic - storage and locking experiment
  ☆28Updated 11 years ago
• databendlabs / datafuse-presentations
  Presentations, meetups and talks about Databend
  ☆73Updated 3 years ago
• chienlungcheung / leveldb-with-annotation
  leveldb 传
  ☆85Updated 2 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆59Updated last year
• skyzh / raft-kvs
  ⛵ A distributed key-value store based on Raft. (WIP)
  ☆44Updated 5 years ago
• jackdent / cs265-lsm-tree
  A key-value store implemented as a Log-Structured Merge Tree in C++
  ☆71Updated 8 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
• turingcell / paxos-made-easy
  Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm
  ☆141Updated 4 years ago
• eBay / Jungle
  An embedded key-value store library specialized for building state machine and log store
  ☆236Updated this week
• bytedance / terark-zip
  A data structure and algorithm library built for TerarkDB
  ☆67Updated 3 years ago
• pentium3 / AutoTiKV
  ☆21Updated 2 years ago
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆62Updated 3 years ago
• francis0407 / SQL-Engine-On-LSM
  A toy SQL engine built on top of LSM(LevelDB)
  ☆22Updated 6 years ago
• mapleFU / MySQL-eight-legged
  eight-legged essay for MySQL. Just a learning Project
  ☆54Updated 2 years ago
• liuzix / ticompile
  Explore JIT in TiDB
  ☆27Updated 4 years ago
• viktorleis / mmapbench
  ☆147Updated 3 years ago
• skyzh / optimizer-lessons
  Code for "Lessons Learned from Building a Query Optimizer" blog series
  ☆51Updated 11 months ago