Alternatives and similar repositories for dp

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

• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆188Updated last year
• cocagne / multi-paxos-example
  Example multi-paxos application for those learning Paxos & multi-paxos
  ☆92Updated 6 years ago
• kompics / kompics
  Kompics - A message-passing component model for building distributed systems
  ☆66Updated 2 years ago
• tikv / deep-dive-tikv
  How do we build a distributed, transactional key-value database - TiKV?
  ☆97Updated 6 years ago
• feilengcui008 / distributed_system_readings
  A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems
  ☆172Updated 5 years ago
• fpaxos / fpaxos-lib
  Prototype of FPaxos, built upon LibPaxos3
  ☆48Updated 5 years ago
• aganesan4 / CORDS
  File-system fault injection framework for distributed storage systems
  ☆67Updated 6 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆102Updated 6 years ago
• efficient / epaxos
  ☆625Updated 4 years ago
• wpaxos / paxi
  Paxos protocol variants framework
  ☆26Updated 7 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 4 years ago
• ongardie / raft-pseudocode
  attempt at summarizing Raft in one page of pseudo-code
  ☆20Updated 7 years ago
• nvb / epaxos
  A pluggable implementation of the Egalitarian Paxos Consensus Protocol
  ☆61Updated 4 years ago
• danchia / ddb
  ☆130Updated 7 years ago
• go-distributed / epaxos
  epaxos
  ☆101Updated 9 years ago
• mwhittaker / clocks
  Time, Clocks, and the Ordering of Events
  ☆41Updated 4 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆137Updated 4 years ago
• deepmehtait / Distributed-file-system-server-with-RAFT
  Distributed File System server implemented using RAFT Algorithm.
  ☆16Updated 6 years ago
• elastic / elasticsearch-formal-models
  Formal models of core Elasticsearch algorithms
  ☆210Updated 7 months ago
• peterbourgon / raft
  An implementation of the Raft distributed consensus protocol.
  ☆171Updated 10 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆119Updated 2 years ago
• jordanlewis / exectoy
  ☆18Updated 6 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
• ryanphuang / panorama
  Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection
  ☆117Updated 4 years ago
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆79Updated last year
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago
• cmu-db / noisepage-stats
  DBMS Performance & Correctness Testing Framework
  ☆30Updated 4 years ago
• sears / bLSM
  Read- and latency-optimized log structured merge tree
  ☆174Updated 13 years ago