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
  ☆190Updated 7 years ago
• CaitieM20 / TheVerificationOfDistributedSystem
  Accompanying Repository for The Verification of a Distributed System Talk
  ☆185Updated 8 years ago
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆402Updated 3 weeks ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆89Updated 9 years ago
• ryanphuang / panorama
  Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection
  ☆117Updated 4 years ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆175Updated 8 months ago
• scylladb / charybdefs
  ScyllaDB fault injection filesystem
  ☆251Updated 3 years ago
• etcd-io / dbtester
  Distributed database benchmark tester
  ☆286Updated last year
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆99Updated 6 years ago
• camsas / firmament
  The Firmament cluster scheduling platform
  ☆412Updated 3 years ago
• palvaro / molly
  An implementation of LDFI
  ☆126Updated 6 years ago
• efficient / epaxos
  ☆618Updated 3 years ago
• hachikuji / kafka-specification
  TLA+ specification of the Kafka replication protocol
  ☆88Updated 5 years ago
• osrg / namazu
  鯰: Programmable fuzzy scheduler for testing distributed systems
  ☆493Updated 6 years ago
• go-distributed / epaxos
  epaxos
  ☆100Updated 9 years ago
• scylladb / diskplorer
  ☆230Updated 8 months ago
• yaledb / calvin
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆314Updated 3 years ago
• pingcap / chaos
  A test framework for linearizability check with Go
  ☆209Updated 5 years ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆489Updated last month
• peterbourgon / raft
  An implementation of the Raft distributed consensus protocol.
  ☆172Updated 9 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆88Updated 7 years ago
• d2iq-archive / serenity
  Intel:Mesosphere oversubscription technologies for Apache Mesos
  ☆69Updated 8 years ago
• gryadka / js
  Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
  ☆331Updated 6 years ago
• elastic / elasticsearch-formal-models
  Formal models of core Elasticsearch algorithms
  ☆208Updated last month
• ailidani / paxi
  Paxos protocol framework
  ☆558Updated last year
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆66Updated 9 years ago
• newrelic / sidecar
  Gossip-based service discovery. Docker native, but supports static discovery, too.
  ☆264Updated last year
• CaitieM20 / ScalingStatefulServices
  The accompanying repository for The ScalingStatefulServices talk
  ☆127Updated 8 years ago
• madthanu / alice
  ☆178Updated 7 years ago