Alternatives and similar repositories for mdcc

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

• cmu440 / intro-to-go
  This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).
  ☆31Updated 11 years ago
• shuaimu / rococo
  ☆35Updated last year
• CatKang / Solitaire
  Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model
  ☆17Updated 6 years ago
• cw75 / tiered-storage
  An Elastic, Tiered-Storage Service
  ☆30Updated 6 years ago
• vrv / FAWN-KV
  A Distributed Key-Value Store for FAWN
  ☆77Updated 14 years ago
• zhypku / SDPaxos
  Prototype implementation and extended paper of SDPaxos
  ☆16Updated 6 years ago
• aganesan4 / CORDS
  File-system fault injection framework for distributed storage systems
  ☆66Updated 6 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• ryanphuang / panorama
  Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection
  ☆117Updated 4 years ago
• cmu-db / peloton-design
  Peloton Design Docs
  ☆27Updated 6 years ago
• tellproject / tellstore
  A in-memory storage manager, that can do versioning and fast scans
  ☆50Updated 8 years ago
• PingCAP-QE / horoscope
  horoscope is an optimizer inspector for DBMS.
  ☆36Updated 4 years ago
• NYU-NEWS / janus
  ☆51Updated last year
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆135Updated 4 years ago
• scalog / scalog
  reimplementing scalog from scratch
  ☆30Updated 4 years ago
• pingcap / blog
  ☆48Updated 2 years ago
• henryr / toy_paxos
  Simple implementation of Paxos protocol in Python
  ☆77Updated 14 years ago
• siddontang / fio-helper
  A simple tool to help me run fio benchmark
  ☆11Updated 7 years ago
• deepmehtait / Distributed-file-system-server-with-RAFT
  Distributed File System server implemented using RAFT Algorithm.
  ☆16Updated 5 years ago
• osrg / hookfs
  A Usermode Hookable Filesystem Library
  ☆45Updated 6 years ago
• pingcap / chaos
  A test framework for linearizability check with Go
  ☆210Updated 5 years ago
• flode / BwTree
  Implementation of the BwTree as specified by Microsoft Research
  ☆100Updated 9 years ago
• xephonhq / xephon-k
  A time series database prototype with multiple backends
  ☆23Updated 5 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆88Updated 7 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
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• radlab / sparrow
  Sparrow scheduling platform (U.C. Berkeley).
  ☆324Updated 4 years ago
• efficient / qlease
  ☆24Updated 10 years ago
• SanDisk-Open-Source / zetascale
  ☆55Updated 7 years ago
• epfl-labos / TRIAD
  ☆43Updated 3 years ago