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
  ☆186Updated 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
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆102Updated 6 years ago
• ongardie / raft-pseudocode
  attempt at summarizing Raft in one page of pseudo-code
  ☆20Updated 7 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆119Updated 2 years ago
• nvb / epaxos
  A pluggable implementation of the Egalitarian Paxos Consensus Protocol
  ☆61Updated 4 years ago
• tikv / deep-dive-tikv
  How do we build a distributed, transactional key-value database - TiKV?
  ☆97Updated 6 years ago
• uchicago-cs / chidb
  ☆69Updated 2 years ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆136Updated 4 years ago
• peterbourgon / raft
  An implementation of the Raft distributed consensus protocol.
  ☆171Updated 9 years ago
• danchia / ddb
  ☆129Updated 7 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• go-distributed / epaxos
  epaxos
  ☆101Updated 9 years ago
• mwhittaker / clocks
  Time, Clocks, and the Ordering of Events
  ☆41Updated 3 years ago
• kompics / kompics-scala
  A Scala DSL for the Kompics framework
  ☆19Updated 3 years ago
• efficient / epaxos
  ☆623Updated 4 years ago
• sears / bLSM
  Read- and latency-optimized log structured merge tree
  ☆174Updated 13 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
• xingyif / raft
  Raft Consensus Algorithm
  ☆39Updated 7 years ago
• xephonhq / xephon-k
  A time series database prototype with multiple backends
  ☆23Updated 5 years ago
• cmu-db / noisepage-stats
  DBMS Performance & Correctness Testing Framework
  ☆30Updated 3 years ago
• siddontang / tlaplus-example
  ☆17Updated 7 years ago
• elastic / elasticsearch-formal-models
  Formal models of core Elasticsearch algorithms
  ☆210Updated 6 months ago
• wpaxos / paxi
  Paxos protocol variants framework
  ☆26Updated 7 years ago
• UBOdin / jitd
  Just in Time Datastructures
  ☆11Updated 8 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
• fpaxos / fpaxos-lib
  Prototype of FPaxos, built upon LibPaxos3
  ☆48Updated 5 years ago
• ailidani / paxi
  Paxos protocol framework
  ☆555Updated last year