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
• 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
• kompics / kompics
  Kompics - A message-passing component model for building distributed systems
  ☆66Updated 3 years ago
• mwhittaker / clocks
  Time, Clocks, and the Ordering of Events
  ☆41Updated 4 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆104Updated 7 years ago
• ongardie / raft-pseudocode
  attempt at summarizing Raft in one page of pseudo-code
  ☆20Updated 7 years ago
• kompics / kompics-scala
  A Scala DSL for the Kompics framework
  ☆19Updated 3 years ago
• cmu-db / noisepage-stats
  DBMS Performance & Correctness Testing Framework
  ☆30Updated 4 years ago
• nvb / epaxos
  A pluggable implementation of the Egalitarian Paxos Consensus Protocol
  ☆61Updated 5 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
• tikv / deep-dive-tikv
  How do we build a distributed, transactional key-value database - TiKV?
  ☆97Updated 6 years ago
• efficient / epaxos
  ☆629Updated 4 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆121Updated 2 years ago
• peterbourgon / raft
  An implementation of the Raft distributed consensus protocol.
  ☆171Updated 10 years ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆139Updated 5 years ago
• mrry / ciel
  A distributed execution engine for cloud computing
  ☆84Updated 13 years ago
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆80Updated 2 years ago
• danchia / ddb
  ☆132Updated 7 years ago
• xephonhq / xephon-k
  A time series database prototype with multiple backends
  ☆23Updated 5 years ago
• ryanphuang / panorama
  Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection
  ☆117Updated 5 years ago
• elastic / elasticsearch-formal-models
  Formal models of core Elasticsearch algorithms
  ☆214Updated 9 months ago
• hungys / swimring
  SwimRing - A Minimal Distributed Fault-Tolerant Key-Value Store built with SWIM Gossip Protocol and Consistent Hash Ring
  ☆61Updated 9 years ago
• deepmehtait / Distributed-file-system-server-with-RAFT
  Distributed File System server implemented using RAFT Algorithm.
  ☆16Updated 6 years ago
• go-distributed / epaxos
  epaxos
  ☆101Updated 10 years ago
• wpaxos / paxi
  Paxos protocol variants framework
  ☆26Updated 7 years ago
• uchicago-cs / chidb
  ☆68Updated 3 years ago
• hachikuji / kafka-specification
  TLA+ specification of the Kafka replication protocol
  ☆88Updated 5 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago