Alternatives and similar repositories for jepsen

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

• pingcap / blog-cn
  ☆130Updated 2 years ago
• neverchanje / consensus-yaraft
  consensus-yaraft is a library for distributed, strong consistent, highly replicated log storage. It's based on yaraft, which is an implem…
  ☆29Updated 8 years ago
• pingcap / blog
  ☆48Updated 3 years ago
• databendlabs / datafuse-presentations
  Presentations, meetups and talks about Databend
  ☆73Updated 3 years ago
• tikv / auto-tikv
  Tool to tune TiKV with ML method
  ☆64Updated 5 years ago
• CatKang / Solitaire
  Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model
  ☆18Updated 7 years ago
• pingcap / kvproto
  Protocol buffer files for TiKV
  ☆168Updated this week
• pingcap / tikv-client-lib-java
  TiKV Java client library
  ☆42Updated 8 years ago
• pingcap / weekly
  ☆57Updated 4 years ago
• XiaoMi / rdsn
  Has been migrated to https://github.com/apache/incubator-pegasus/tree/master/rdsn
  ☆142Updated 3 years ago
• turingcell / turingcell
  TuringCell: Run Linux over Paxos/Raft
  ☆77Updated 5 years ago
• tikv / rocksdb
  A library that provides an embeddable, persistent key-value store for fast storage.
  ☆121Updated last week
• pingcap / chaos
  A test framework for linearizability check with Go
  ☆211Updated 6 years ago
• pingcap / tla-plus
  ☆305Updated last year
• KernelMaker / blackwidow
  A library implements REDIS commands(Strings, Hashes, Lists, Sorted Sets, Sets, Keys, HyperLogLog) based on rocksdb
  ☆42Updated 5 years ago
• PingCAP-QE / horoscope
  horoscope is an optimizer inspector for DBMS.
  ☆36Updated 4 years ago
• pingcap / tipb
  TiDB protobuf
  ☆100Updated this week
• pingcap / meetup
  ☆38Updated 5 years ago
• vectorengine / vectordb
  VectorDB is a free analytics DBMS for IoT & Big Data, compatible with ClickHouse.
  ☆68Updated 4 years ago
• neverchanje / yaraft
  Yet Another RAFT implementation
  ☆126Updated 7 years ago
• tiglabs / raft
  an implementation of raft in Go
  ☆159Updated 4 years ago
• tikv / client-c
  The C++ TiKV client used by TiFlash.
  ☆41Updated last month
• pingcap / tidb-map
  A series of maps to help users and contributors
  ☆98Updated 4 years ago
• xelabs / go-jepsen
  go-jepsen is a toolset for distributed systems verification, includes SIV(Snapshot Isolation Verification) and etc...
  ☆63Updated 7 years ago
• lrita / favor_repos
  ☆61Updated 2 years ago
• pingcap / tipocket
  A toolkit for testing TiDB
  ☆139Updated 2 years ago
• PingCAP-QE / clustered-index-rand-test
  ☆12Updated 2 years ago
• francis0407 / SQL-Engine-On-LSM
  A toy SQL engine built on top of LSM(LevelDB)
  ☆22Updated 6 years ago
• ngaut / unistore
  A fun project for evaluating some new optimizations quickly, do not use it in production
  ☆118Updated 2 years ago
• bohutang / omt
  A cache-efficiency weight balanced binary tree
  ☆71Updated 11 years ago