Alternatives and similar repositories for papers:

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

• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 3 years ago
• mwhittaker / consistency_in_distributed_systems
  Distributed Systems Consistency Reading Group
  ☆40Updated 4 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated 2 years ago
• xerial / streamdb-readings
  Readings in Stream Processing
  ☆122Updated 4 months ago
• TimoKersten / db-engine-paradigms
  Collection of experiments to carve out the differences between two types of relational query processing engines: Vectorizing (interpretat…
  ☆254Updated 6 years ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆175Updated 7 months ago
• jarulraj / databaseology
  Collection of Papers On Database Management Systems
  ☆221Updated 8 years ago
• purduedb / OpenAurora
  OpenAurora is a cloud-native database system prototype developed at Purdue University. It is an open-source version of Amazon Aurora. It …
  ☆87Updated 3 weeks ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆51Updated 6 months ago
• apavlo / h-store
  H-Store Distributed Main Memory OLTP Database System
  ☆575Updated 4 years ago
• alinush / 6.824-lecture-notes
  6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
  ☆192Updated 6 years ago
• efficient / HOPE
  Order-preserving key encoder
  ☆122Updated 4 years ago
• apache / incubator-retired-quickstep
  Apache Quickstep Incubator - This project is retired
  ☆95Updated 6 years ago
• petermattis / opttoy
  ☆50Updated 7 years ago
• cocagne / multi-paxos-example
  Example multi-paxos application for those learning Paxos & multi-paxos
  ☆91Updated 5 years ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆72Updated 2 years ago
• ease-lab / Hermes
  Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…
  ☆167Updated 11 months ago
• yxymit / DBx1000
  ☆285Updated 2 years ago
• google / cuckoo-index
  Cuckoo Index: A Lightweight Secondary Index Structure
  ☆130Updated 3 years ago
• ryanphuang / panorama
  Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection
  ☆117Updated 4 years ago
• ajdavis / python-paxos-jepsen
  Paxos in Python, tested with Jepsen
  ☆31Updated 3 years ago
• PingCAP-QE / go-sqlancer
  go-sqlancer
  ☆77Updated 4 years ago
• ept / dist-sys
  Distributed systems lecture notes
  ☆61Updated 4 months ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆489Updated last month
• michaelzenz / jecci
  Jepsen and Elle based Consistency Checking Interface
  ☆20Updated 3 years ago
• nvanbenschoten / rafttoy
  A playground to experiment with Raft proposal pipeline optimization
  ☆17Updated 2 years ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆134Updated 4 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆88Updated 7 years ago
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆62Updated 2 years ago