Alternatives and similar repositories for mdcc

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

• siddontang / tlaplus-example
  ☆17Updated 7 years ago
• CatKang / Solitaire
  Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model
  ☆18Updated 7 years ago
• tellproject / tellstore
  A in-memory storage manager, that can do versioning and fast scans
  ☆50Updated 9 years ago
• hackeryoung / haystack
  Facebook Haystack Implementation
  ☆107Updated 2 years ago
• ryanphuang / panorama
  Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection
  ☆117Updated 5 years ago
• william-cheung / mit-6.824-2015
  MIT 6.824 - Distributed Systems - Spring 2015
  ☆15Updated 9 years ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆139Updated 5 years ago
• pentium3 / AutoTiKV
  ☆21Updated 2 years ago
• etcd-io / dbtester
  Distributed database benchmark tester
  ☆292Updated 2 years ago
• epfl-labos / TRIAD
  ☆44Updated 4 years ago
• facebookarchive / linkbench
  Facebook Graph Benchmark
  ☆418Updated 5 years ago
• SanDisk-Open-Source / zetascale
  ☆56Updated 8 years ago
• shuaimu / rococo
  ☆35Updated last year
• pingcap / jepsen
  A framework for distributed systems verification, with fault injection
  ☆46Updated last week
• cmu-db / peloton-design
  Peloton Design Docs
  ☆28Updated 7 years ago
• xephonhq / xephon-k
  A time series database prototype with multiple backends
  ☆23Updated 5 years ago
• zhypku / SDPaxos
  Prototype implementation and extended paper of SDPaxos
  ☆16Updated 7 years ago
• dasebe / robinhoodcache
  RobinHood the first tail latency-aware caching system
  ☆96Updated 6 years ago
• PingCAP-QE / horoscope
  horoscope is an optimizer inspector for DBMS.
  ☆36Updated 4 years ago
• pingcap / chaos
  A test framework for linearizability check with Go
  ☆211Updated 6 years ago
• LPD-EPFL / flodb
  A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.
  ☆26Updated 8 years ago
• vmware-archive / quickstep
  Quickstep Project
  ☆27Updated 6 years ago
• efficient / memc3
  MemC3
  ☆156Updated 8 years ago
• deepmehtait / Distributed-file-system-server-with-RAFT
  Distributed File System server implemented using RAFT Algorithm.
  ☆17Updated 6 years ago
• asubiotto / vecdeepdive
  ☆13Updated 6 years ago
• turingcell / turingcell
  TuringCell: Run Linux over Paxos/Raft
  ☆77Updated 5 years ago
• neverchanje / consensus-yaraft
  consensus-yaraft is a library for distributed, strong consistent, highly replicated log storage. It's based on yaraft, which is an implem…
  ☆29Updated 8 years ago
• peterbourgon / raft
  An implementation of the Raft distributed consensus protocol.
  ☆172Updated 10 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago
• tikv / auto-tikv
  Tool to tune TiKV with ML method
  ☆64Updated 5 years ago