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,600Updated last month
• jepsen-io / jepsen
  A framework for distributed systems verification, with fault injection
  ☆7,295Updated last week
• redpanda-data / awesome-distributed-transactions
  Awesome list of distributed transactions
  ☆732Updated 4 years ago
• heidihoward / distributed-consensus-reading-list
  A list of papers about distributed consensus.
  ☆2,599Updated last year
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆846Updated 3 years ago
• anishathalye / porcupine
  A fast linearizability checker written in Go 🔎
  ☆1,132Updated last month
• dgryski / awesome-consensus
  Awesome list for Paxos and friends
  ☆2,131Updated last year
• jepsen-io / maelstrom
  A workbench for writing toy implementations of distributed systems.
  ☆3,465Updated last month
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆686Updated last month
• mixu / distsysbook
  The book Distributed systems: for fun and profit
  ☆2,631Updated 3 years ago
• rxin / db-readings
  Readings in Databases
  ☆8,007Updated last year
• cmu-db / peloton
  The Self-Driving Database Management System
  ☆2,047Updated 6 years ago
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,440Updated this week
• soundcloud / roshi
  Roshi is a large-scale CRDT set implementation for timestamped events.
  ☆3,177Updated 2 months ago
• ongardie / dissertation
  Sources for my PhD dissertation on the Raft consensus algorithm
  ☆1,062Updated 9 years ago
• citusdata / postgresql-hll
  PostgreSQL extension adding HyperLogLog data structures as a native data type
  ☆1,204Updated 3 months ago
• cmu-db / noisepage
  Self-Driving Database Management System from Carnegie Mellon University
  ☆1,758Updated 3 years ago
• aphyr / distsys-class
  Class materials for a distributed systems lecture series
  ☆9,257Updated 10 months ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,769Updated 5 months ago
• erikgrinaker / readings
  Interesting readings and talks on computer science
  ☆725Updated last year
• twitter / pelikan
  Pelikan is Twitter's unified cache backend
  ☆1,960Updated 2 years ago
• pganalyze / libpg_query
  C library for accessing the PostgreSQL parser outside of the server environment
  ☆1,409Updated this week
• heathermiller / dist-prog-book
  ☆3,421Updated 4 years ago
• huachaohuang / awesome-dbdev
  Awesome materials about database development.
  ☆1,582Updated last year
• jarulraj / databaseology
  Collection of Papers On Database Management Systems
  ☆224Updated 9 years ago
• alangibson / awesome-crdt
  A collection of awesome CRDT resources
  ☆1,354Updated 4 years ago
• sqlancer / sqlancer
  Automated testing to find logic and performance bugs in database systems
  ☆1,687Updated 2 months ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆506Updated 11 months ago
• reorg / pg_repack
  Reorganize tables in PostgreSQL databases with minimal locks
  ☆2,156Updated last month
• mgartner / pg_flame
  A flamegraph generator for Postgres EXPLAIN ANALYZE output.
  ☆1,613Updated 6 years ago