Alternatives and similar repositories for dp

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

• kompics / kompics
  Kompics - A message-passing component model for building distributed systems
  ☆66Updated 3 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆189Updated last year
• 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 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
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• mwhittaker / clocks
  Time, Clocks, and the Ordering of Events
  ☆41Updated 4 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆103Updated 7 years ago
• cocagne / multi-paxos-example
  Example multi-paxos application for those learning Paxos & multi-paxos
  ☆93Updated 6 years ago
• cmu-db / noisepage-stats
  DBMS Performance & Correctness Testing Framework
  ☆30Updated 4 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆120Updated 2 years ago
• peterbourgon / raft
  An implementation of the Raft distributed consensus protocol.
  ☆171Updated 10 years ago
• wpaxos / paxi
  Paxos protocol variants framework
  ☆26Updated 7 years ago
• mit-pdos / perflock
  RWMutex for sharing of multicore machines.
  ☆17Updated 6 years ago
• tikv / deep-dive-tikv
  How do we build a distributed, transactional key-value database - TiKV?
  ☆97Updated 6 years ago
• xephonhq / xephon-k
  A time series database prototype with multiple backends
  ☆23Updated 5 years ago
• deepmehtait / Distributed-file-system-server-with-RAFT
  Distributed File System server implemented using RAFT Algorithm.
  ☆16Updated 6 years ago
• jcarreira / cirrus-kv
  High-performance key-value store
  ☆12Updated 6 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
  ☆213Updated 8 months ago
• vmware-archive / quickstep
  Quickstep Project
  ☆27Updated 6 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆85Updated 4 years ago
• danchia / ddb
  ☆132Updated 7 years ago
• kompics / kompics-scala
  A Scala DSL for the Kompics framework
  ☆19Updated 3 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 / mongodb-d4
  Automatic MongoDB database designer
  ☆55Updated 10 years ago
• sears / bLSM
  Read- and latency-optimized log structured merge tree
  ☆174Updated 13 years ago
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆80Updated 2 years ago
• aganesan4 / CORDS
  File-system fault injection framework for distributed storage systems
  ☆67Updated 7 years ago