Alternatives and similar repositories for partitions-post:

Users that are interested in partitions-post are comparing it to the libraries listed below

• LinkedInAttic / simoorg
  Failure inducer framework
  ☆191Updated 7 years ago
• etcd-io / dbtester
  Distributed database benchmark tester
  ☆286Updated last year
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆175Updated 7 months ago
• scylladb / charybdefs
  ScyllaDB fault injection filesystem
  ☆249Updated 3 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆88Updated 8 years ago
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆399Updated 2 months ago
• elastic / elasticsearch-formal-models
  Formal models of core Elasticsearch algorithms
  ☆208Updated 3 weeks ago
• ryanphuang / panorama
  Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection
  ☆117Updated 4 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆97Updated 6 years ago
• efficient / epaxos
  ☆617Updated 3 years ago
• pingcap / chaos
  A test framework for linearizability check with Go
  ☆208Updated 5 years ago
• CaitieM20 / TheVerificationOfDistributedSystem
  Accompanying Repository for The Verification of a Distributed System Talk
  ☆185Updated 8 years ago
• hachikuji / kafka-specification
  TLA+ specification of the Kafka replication protocol
  ☆88Updated 5 years ago
• ailidani / paxi
  Paxos protocol framework
  ☆556Updated last year
• palvaro / molly
  An implementation of LDFI
  ☆126Updated 6 years ago
• go-distributed / epaxos
  epaxos
  ☆99Updated 9 years ago
• zk1931 / jzab
  ZooKeeper Atomic Broadcast in Java
  ☆54Updated 3 years ago
• PlatformLab / RAMCloud
  **No Longer Maintained** Official RAMCloud repo
  ☆493Updated 5 years ago
• pingcap / tla-plus
  ☆295Updated 8 months ago
• camsas / firmament
  The Firmament cluster scheduling platform
  ☆412Updated 3 years ago
• henryr / distributed-systems-readings
  Readings in distributed systems
  ☆415Updated 9 years ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆485Updated last week
• yaledb / calvin
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆313Updated 3 years ago
• peterbourgon / raft
  An implementation of the Raft distributed consensus protocol.
  ☆172Updated 9 years ago
• pingcap / blog
  ☆48Updated 2 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆88Updated 7 years ago
• rescrv / HyperLevelDB
  A fork of LevelDB intended to meet the needs of HyperDex while remaining compatible with LevelDB.
  ☆459Updated 9 years ago
• jaytaylor / sql-layer
  ☆94Updated 9 years ago
• scylladb / diskplorer
  ☆230Updated 7 months ago
• CaitieM20 / ScalingStatefulServices
  The accompanying repository for The ScalingStatefulServices talk
  ☆126Updated 8 years ago