Alternatives and similar repositories for peloton-test

Users that are interested in peloton-test are comparing it to the libraries listed below

• cmu-db / mongodb-d4
  Automatic MongoDB database designer
  ☆55Updated 10 years ago
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆66Updated 10 years ago
• UWSysLab / diamond
  Diamond reactive programming platform
  ☆25Updated 3 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• fpaxos / fpaxos-lib
  Prototype of FPaxos, built upon LibPaxos3
  ☆48Updated 5 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 8 years ago
• stephentu / scalex
  Code snippets for the workshop on concurrent data structure implementation.
  ☆31Updated 12 years ago
• UWSysLab / Eris
  Eris distributed transactions
  ☆52Updated 7 years ago
• jarulraj / postgresql-cpp
  C++11 port of the PostgreSQL DBMS
  ☆70Updated 8 years ago
• fzqneo / ByteSlice
  "Byteslice: Pushing the envelop of main memory data processing with a new storage layout" (SIGMOD'15)
  ☆25Updated 7 years ago
• apache / incubator-retired-quickstep
  Apache Quickstep Incubator - This project is retired
  ☆95Updated 6 years ago
• UWSysLab / NOPaxos
  NOPaxos consensus protocol
  ☆136Updated 4 years ago
• JLockerman / FuzzyLog
  Experiments in partially ordered SMR.
  ☆48Updated 4 years ago
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆79Updated last year
• aganesan4 / CORDS
  File-system fault injection framework for distributed storage systems
  ☆67Updated 6 years ago
• michael-emmi / violat
  ☆10Updated last year
• efficient / cicada
  Dependably fast multi-core in-memory transactions
  ☆20Updated 7 years ago
• Legacy25 / ValkyrieDB
  A SQL-to-native-code compiler based on LLVM
  ☆48Updated 9 years ago
• sfu-dis / ermia
  ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)
  ☆91Updated 2 years ago
• belliottsmith / accord
  ☆27Updated 3 years ago
• mozafari / vprofiler
  A Profiler for Identifying the Major Sources of Performance Variance in Modern Applications
  ☆95Updated 7 years ago
• efficient / cicada-engine
  The Cicada engine
  ☆58Updated 8 years ago
• HewlettPackard / foedus_code
  FOEDUS main source code repository
  ☆63Updated 8 years ago
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆112Updated 10 years ago
• camsas / Musketeer
  The Musketeer workflow manager.
  ☆41Updated 6 years ago
• kompics / kompics
  Kompics - A message-passing component model for building distributed systems
  ☆66Updated 2 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆20Updated 9 years ago
• jfuentes / concurrent-data-structures
  Compilation of concurrent data structures with at least lock-free or wait-free properties.
  ☆75Updated 6 years ago
• UWSysLab / specpaxos
  Speculative Paxos replication protocol
  ☆131Updated 8 years ago
• rlu-sync / rlu
  Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming
  ☆48Updated 9 years ago