ept / hermitage

Related projects ⓘ

Alternatives and complementary repositories for hermitage

• jepsen-io / jepsen
  A framework for distributed systems verification, with fault injection
  ☆6,836Updated 3 weeks ago
• redpanda-data / awesome-distributed-transactions
  Awesome list of distributed transactions
  ☆724Updated 3 years ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆643Updated last month
• asatarin / testing-distributed-systems
  Curated list of resources on testing distributed systems
  ☆2,495Updated 3 weeks ago
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆819Updated 2 years ago
• dgryski / awesome-consensus
  Awesome list for Paxos and friends
  ☆2,049Updated 5 months ago
• anishathalye / porcupine
  A fast linearizability checker written in Go 🔎
  ☆932Updated 6 months ago
• mixu / distsysbook
  The book Distributed systems: for fun and profit
  ☆2,559Updated 2 years ago
• heidihoward / distributed-consensus-reading-list
  A list of papers about distributed consensus.
  ☆2,526Updated 3 months ago
• jepsen-io / maelstrom
  A workbench for writing toy implementations of distributed systems.
  ☆3,064Updated 3 months ago
• soundcloud / roshi
  Roshi is a large-scale CRDT set implementation for timestamped events.
  ☆3,153Updated last year
• aphyr / distsys-class
  Class materials for a distributed systems lecture series
  ☆9,072Updated last year
• twitter / pelikan
  Pelikan is Twitter's unified cache backend
  ☆1,938Updated last year
• ongardie / dissertation
  Sources for my PhD dissertation on the Raft consensus algorithm
  ☆1,006Updated 8 years ago
• mgartner / pg_flame
  A flamegraph generator for Postgres EXPLAIN ANALYZE output.
  ☆1,575Updated 4 years ago
• rxin / db-readings
  Readings in Databases
  ☆7,688Updated 2 months ago
• heathermiller / dist-prog-book
  ☆3,425Updated 3 years ago
• cmu-db / peloton
  The Self-Driving Database Management System
  ☆2,035Updated 5 years ago
• jarulraj / sqlcheck
  Automatically identify anti-patterns in SQL queries
  ☆2,432Updated 9 months ago
• tdunning / t-digest
  A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means
  ☆1,992Updated 11 months ago
• raft / raft.github.io
  website at https://raft.github.io
  ☆1,379Updated last month
• worstcase / blockade
  Docker-based utility for testing network failures and partitions in distributed applications
  ☆907Updated 3 years ago
• alangibson / awesome-crdt
  A collection of awesome CRDT resources
  ☆1,221Updated 3 years ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,579Updated last month
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆465Updated 2 months ago
• Netflix / concurrency-limits
  ☆3,261Updated this week
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities
  ☆1,291Updated 3 weeks ago
• pganalyze / libpg_query
  C library for accessing the PostgreSQL parser outside of the server environment
  ☆1,210Updated 2 weeks ago
• citusdata / postgresql-hll
  PostgreSQL extension adding HyperLogLog data structures as a native data type
  ☆1,135Updated last week