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 8 years ago
• kompics / kompics
  Kompics - A message-passing component model for building distributed systems
  ☆66Updated 3 years ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆191Updated last year
• cocagne / multi-paxos-example
  Example multi-paxos application for those learning Paxos & multi-paxos
  ☆94Updated 6 years ago
• tikv / deep-dive-tikv
  How do we build a distributed, transactional key-value database - TiKV?
  ☆97Updated 6 years ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆139Updated 5 years ago
• mwhittaker / clocks
  Time, Clocks, and the Ordering of Events
  ☆41Updated 4 years ago
• feilengcui008 / distributed_system_readings
  A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems
  ☆172Updated 6 years ago
• peterbourgon / raft
  An implementation of the Raft distributed consensus protocol.
  ☆172Updated 10 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
  ☆63Updated 5 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆104Updated 7 years ago
• wpaxos / paxi
  Paxos protocol variants framework
  ☆26Updated 7 years ago
• aganesan4 / CORDS
  File-system fault injection framework for distributed storage systems
  ☆67Updated 7 years ago
• go-distributed / epaxos
  epaxos
  ☆102Updated 10 years ago
• efficient / epaxos
  ☆630Updated 4 years ago
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆81Updated 2 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
• cmu-db / noisepage-stats
  DBMS Performance & Correctness Testing Framework
  ☆30Updated 4 years ago
• fpaxos / fpaxos-lib
  Prototype of FPaxos, built upon LibPaxos3
  ☆48Updated 5 years ago
• uchicago-cs / chidb
  ☆68Updated 3 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆85Updated 4 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆121Updated 3 years ago
• deepmehtait / Distributed-file-system-server-with-RAFT
  Distributed File System server implemented using RAFT Algorithm.
  ☆17Updated 6 years ago
• elastic / elasticsearch-formal-models
  Formal models of core Elasticsearch algorithms
  ☆213Updated 10 months ago
• pingcap / tla-plus
  ☆304Updated last year
• hungys / swimring
  SwimRing - A Minimal Distributed Fault-Tolerant Key-Value Store built with SWIM Gossip Protocol and Consistent Hash Ring
  ☆61Updated 9 years ago
• ailidani / paxi
  Paxos protocol framework
  ☆558Updated last year
• danchia / ddb
  ☆132Updated 7 years ago