Alternatives and similar repositories for hermitage

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

• asatarin / testing-distributed-systems
  Curated list of resources on testing distributed systems
  ☆2,595Updated last week
• jepsen-io / jepsen
  A framework for distributed systems verification, with fault injection
  ☆7,268Updated last week
• heidihoward / distributed-consensus-reading-list
  A list of papers about distributed consensus.
  ☆2,595Updated last year
• redpanda-data / awesome-distributed-transactions
  Awesome list of distributed transactions
  ☆731Updated 4 years ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆682Updated 2 weeks ago
• anishathalye / porcupine
  A fast linearizability checker written in Go 🔎
  ☆1,122Updated last week
• dgryski / awesome-consensus
  Awesome list for Paxos and friends
  ☆2,124Updated last year
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆844Updated 3 years ago
• mixu / distsysbook
  The book Distributed systems: for fun and profit
  ☆2,628Updated 3 years ago
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,428Updated last week
• soundcloud / roshi
  Roshi is a large-scale CRDT set implementation for timestamped events.
  ☆3,177Updated 2 months ago
• aphyr / distsys-class
  Class materials for a distributed systems lecture series
  ☆9,251Updated 9 months ago
• jepsen-io / maelstrom
  A workbench for writing toy implementations of distributed systems.
  ☆3,440Updated 3 weeks ago
• tdunning / t-digest
  A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means
  ☆2,115Updated 10 months ago
• ongardie / dissertation
  Sources for my PhD dissertation on the Raft consensus algorithm
  ☆1,059Updated 9 years ago
• cmu-db / peloton
  The Self-Driving Database Management System
  ☆2,046Updated 6 years ago
• emichael / dslabs
  Distributed Systems Labs and Framework
  ☆1,489Updated 8 months ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆503Updated 10 months ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,741Updated 5 months ago
• alangibson / awesome-crdt
  A collection of awesome CRDT resources
  ☆1,343Updated 4 years ago
• heathermiller / dist-prog-book
  ☆3,422Updated 4 years ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆500Updated last year
• sqlancer / sqlancer
  Automated testing to find logic and performance bugs in database systems
  ☆1,676Updated last month
• erikgrinaker / readings
  Interesting readings and talks on computer science
  ☆723Updated 11 months ago
• jarulraj / databaseology
  Collection of Papers On Database Management Systems
  ☆225Updated 9 years ago
• huachaohuang / awesome-dbdev
  Awesome materials about database development.
  ☆1,573Updated last year
• citusdata / postgresql-hll
  PostgreSQL extension adding HyperLogLog data structures as a native data type
  ☆1,201Updated 2 months ago
• rabbitmq / internals
  High level architecture overview
  ☆1,462Updated 8 months ago
• sirupsen / napkin-math
  Techniques and numbers for estimating system's performance from first-principles
  ☆4,722Updated last year
• anse1 / sqlsmith
  A random SQL query generator
  ☆821Updated last month