Alternatives and similar repositories for dsrg

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

• cmu-db / peloton-test
  SQL Testing Framework for the Peloton DBMS
  ☆20Updated 7 years ago
• cmu-db / mongodb-d4
  Automatic MongoDB database designer
  ☆54Updated 10 years ago
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆66Updated 10 years ago
• rescrv / pocdb
  Paxos-replicated key-value store in 3 hours or less.
  ☆25Updated 8 years ago
• aganesan4 / CORDS
  File-system fault injection framework for distributed storage systems
  ☆67Updated 6 years ago
• efficient / ffbf
  Feed-forward Bloom filters
  ☆52Updated 14 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• kaelzhang81 / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆66Updated 6 years ago
• mit-pdos / perflock
  RWMutex for sharing of multicore machines.
  ☆17Updated 6 years ago
• denizalti / paxosmmc
  Paxos Made Moderately Complex
  ☆186Updated last year
• cmu-db / noisepage-stats
  DBMS Performance & Correctness Testing Framework
  ☆30Updated 3 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
• stephentu / scalex
  Code snippets for the workshop on concurrent data structure implementation.
  ☆31Updated 12 years ago
• stasis / stasis
  Stasis is a flexible transactional storage library that is geared toward high-performance applications and system developers. It supports…
  ☆53Updated 12 years ago
• camsas / Musketeer
  The Musketeer workflow manager.
  ☆41Updated 6 years ago
• AugmentedTimeProject / AugmentedTimeProject
  A project to implement Augmented Time
  ☆49Updated 11 years ago
• fpaxos / fpaxos-lib
  Prototype of FPaxos, built upon LibPaxos3
  ☆48Updated 5 years ago
• hachikuji / kafka-specification
  TLA+ specification of the Kafka replication protocol
  ☆87Updated 5 years ago
• pbailis / tinytocs-site
  Tiny Transactions on Computer Systems (TinyToCS) Site
  ☆32Updated 9 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆20Updated 9 years ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆47Updated 5 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 8 years ago
• naskitis / Cache-Conscious-Data-Structures
  The array hash table, array burst trie and array BST, written in C, as described in my PhD thesis.
  ☆42Updated 8 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 / Eris
  Eris distributed transactions
  ☆52Updated 7 years ago
• rystsov / caspaxos
  CASPaxos: Replicated State Machines without logs
  ☆101Updated 6 years ago
• will62794 / snapshot-isolation-spec
  A formal specification of snapshot isolation.
  ☆19Updated 2 weeks ago
• gregrahn / sqllogictest
  personal git mirror of sqllogictest
  ☆42Updated 2 months ago
• rystsov / perseus
  Perseus is a set of scripts (docker+javascript) to investigate a distributed database's responsiveness when one of its three nodes is iso…
  ☆49Updated 6 years ago