Alternatives and similar repositories for hermitage

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

• jepsen-io / jepsen
  A framework for distributed systems verification, with fault injection
  ☆7,108Updated 3 weeks ago
• redpanda-data / awesome-distributed-transactions
  Awesome list of distributed transactions
  ☆730Updated 3 years ago
• asatarin / testing-distributed-systems
  Curated list of resources on testing distributed systems
  ☆2,562Updated 2 months ago
• heidihoward / distributed-consensus-reading-list
  A list of papers about distributed consensus.
  ☆2,584Updated 11 months ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆669Updated 2 months ago
• anishathalye / porcupine
  A fast linearizability checker written in Go 🔎
  ☆1,042Updated last month
• jepsen-io / maelstrom
  A workbench for writing toy implementations of distributed systems.
  ☆3,324Updated 5 months ago
• dgryski / awesome-consensus
  Awesome list for Paxos and friends
  ☆2,099Updated last year
• soundcloud / roshi
  Roshi is a large-scale CRDT set implementation for timestamped events.
  ☆3,170Updated 2 years ago
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆837Updated 3 years ago
• ongardie / dissertation
  Sources for my PhD dissertation on the Raft consensus algorithm
  ☆1,043Updated 9 years ago
• mixu / distsysbook
  The book Distributed systems: for fun and profit
  ☆2,598Updated 2 years ago
• aphyr / distsys-class
  Class materials for a distributed systems lecture series
  ☆9,207Updated 4 months ago
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,380Updated last week
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆494Updated 5 months ago
• bloomberg / comdb2
  Bloomberg's distributed RDBMS
  ☆1,446Updated this week
• avinassh / py-caskdb
  (educational) build your own disk based KV store
  ☆1,315Updated last year
• heathermiller / dist-prog-book
  ☆3,426Updated 4 years ago
• tdunning / t-digest
  A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means
  ☆2,080Updated 5 months ago
• dancres / Pages
  A Distributed Systems Reading List
  ☆184Updated 4 years ago
• cmu-db / peloton
  The Self-Driving Database Management System
  ☆2,046Updated 6 years ago
• alangibson / awesome-crdt
  A collection of awesome CRDT resources
  ☆1,300Updated 4 years ago
• erikgrinaker / readings
  Interesting readings and talks on computer science
  ☆714Updated 6 months ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆493Updated 8 months ago
• eulerto / wal2json
  JSON output plugin for changeset extraction
  ☆1,409Updated 3 months ago
• pganalyze / libpg_query
  C library for accessing the PostgreSQL parser outside of the server environment
  ☆1,340Updated last week
• sqlancer / sqlancer
  Automated testing to find logic and performance bugs in database systems
  ☆1,618Updated this week
• basho / bitcask
  because you need another a key/value storage engine
  ☆1,346Updated last year
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,684Updated last week
• jarulraj / databaseology
  Collection of Papers On Database Management Systems
  ☆222Updated 8 years ago