aphyr / partitions-post

Related projects: ⓘ

• LinkedInAttic / simoorg
  Failure inducer framework
  ☆190Updated 6 years ago
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆397Updated 11 months ago
• scylladb / charybdefs
  ScyllaDB fault injection filesystem
  ☆245Updated 3 years ago
• go-distributed / epaxos
  epaxos
  ☆98Updated 8 years ago
• etcd-io / dbtester
  Distributed database benchmark tester
  ☆282Updated 11 months ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆170Updated last month
• camsas / firmament
  The Firmament cluster scheduling platform
  ☆412Updated 3 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆92Updated 5 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆87Updated 8 years ago
• ryanphuang / panorama
  Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection
  ☆117Updated 3 years ago
• palvaro / molly
  An implementation of LDFI
  ☆126Updated 5 years ago
• osrg / namazu
  鯰: Programmable fuzzy scheduler for testing distributed systems
  ☆492Updated 6 years ago
• twitter-archive / twemperf
  A tool for measuring memcached server performance
  ☆242Updated 5 years ago
• CaitieM20 / TheVerificationOfDistributedSystem
  Accompanying Repository for The Verification of a Distributed System Talk
  ☆182Updated 7 years ago
• twitter / zktraffic
  ZooKeeper protocol analyzer and stats gathering daemon
  ☆167Updated last year
• elastic / elasticsearch-formal-models
  Formal models of core Elasticsearch algorithms
  ☆206Updated 5 years ago
• radlab / sparrow
  Sparrow scheduling platform (U.C. Berkeley).
  ☆319Updated 4 years ago
• yaledb / calvin
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆304Updated 2 years ago
• pingcap / chaos
  A test framework for linearizability check with Go
  ☆206Updated 5 years ago
• efficient / epaxos
  ☆611Updated 3 years ago
• brownsys / tracing-framework
  Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing
  ☆86Updated last year
• rgs1 / zk_shell
  A powerful & scriptable shell for Apache ZooKeeper
  ☆189Updated 10 months ago
• peterbourgon / raft
  An implementation of the Raft distributed consensus protocol.
  ☆172Updated 9 years ago
• mesosphere / RENDLER
  A rendering web crawler for Apache Mesos.
  ☆246Updated 5 years ago
• facebookarchive / linkbench
  Facebook Graph Benchmark
  ☆416Updated 4 years ago
• ailidani / paxi
  Paxos protocol framework
  ☆548Updated 8 months ago
• mesosphere / serenity
  Intel:Mesosphere oversubscription technologies for Apache Mesos
  ☆69Updated 8 years ago
• armon / hlld
  C network daemon for HyperLogLogs
  ☆449Updated 3 years ago
• phunt / zk-smoketest
  zk-smoketest.py provides a simple smoketest client for a ZooKeeper ensemble
  ☆366Updated 3 years ago
• pingcap / tla-plus
  ☆290Updated 3 months ago