Alternatives and similar repositories for ramp-sigmod2014-code

Users that are interested in ramp-sigmod2014-code are comparing it to the libraries listed below

• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆90Updated 9 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆41Updated 2 years ago
• aganesan4 / CORDS
  File-system fault injection framework for distributed storage systems
  ☆68Updated 7 years ago
• epfldata / dblab
  A framework for building database systems by high-level programming, and getting really good performance nevertheless.
  ☆138Updated 7 years ago
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆67Updated 10 years ago
• ankurdave / part
  Persistent Adaptive Radix Trees in Java
  ☆82Updated 5 years ago
• silt / silt
  SILT: A Memory-Efficient, High-Performance Key-Value Store
  ☆177Updated 3 years ago
• fpaxos / fpaxos-lib
  Prototype of FPaxos, built upon LibPaxos3
  ☆48Updated 5 years ago
• efficient / msls-eval
  Accurate and Fast Evaluation of Multi-Stage Log-Structured Designs
  ☆11Updated 9 years ago
• mrry / ciel
  A distributed execution engine for cloud computing
  ☆86Updated 13 years ago
• hachikuji / kafka-specification
  TLA+ specification of the Kafka replication protocol
  ☆88Updated 6 years ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆176Updated 4 years ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆139Updated 5 years ago
• trex-paxos / trex
  Embeddable multi-Paxos For The JVM
  ☆77Updated last year
• wlloyd / eiger
  A research fork of cassandra that provides causal+ consistency, read-only transaction, and write-only transaction across all the servers …
  ☆77Updated 8 years ago
• belliottsmith / accord
  ☆28Updated 3 years ago
• UWSysLab / Eris
  Eris distributed transactions
  ☆53Updated 7 years ago
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆65Updated 3 years ago
• cruzdb / zlog
  A high-performance distributed shared-log for Ceph
  ☆115Updated 6 years ago
• UWSysLab / specpaxos
  Speculative Paxos replication protocol
  ☆133Updated 9 years ago
• wuxb45 / lsm-trie
  LSM-trie
  ☆114Updated 4 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆104Updated 7 years ago
• sinabz / itc4j
  An Implementation of Interval Tree Clock
  ☆60Updated 5 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• vrv / FAWN-KV
  A Distributed Key-Value Store for FAWN
  ☆77Updated 15 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 8 years ago
• cw75 / tiered-storage
  An Elastic, Tiered-Storage Service
  ☆30Updated 7 years ago
• jepsen-io / knossos
  Verifies the linearizability of experimentally accessible histories.
  ☆416Updated this week
• palvaro / molly
  An implementation of LDFI
  ☆128Updated 7 years ago
• apache / incubator-retired-quickstep
  Apache Quickstep Incubator - This project is retired
  ☆94Updated 7 years ago