Alternatives and similar repositories for testing-distributed-systems

Users that are interested in testing-distributed-systems are comparing it to the libraries listed below

• heidihoward / distributed-consensus-reading-list
  A list of papers about distributed consensus.
  ☆2,594Updated last year
• ept / hermitage
  What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolati…
  ☆2,639Updated last year
• dgryski / awesome-consensus
  Awesome list for Paxos and friends
  ☆2,120Updated last year
• redpanda-data / awesome-distributed-transactions
  Awesome list of distributed transactions
  ☆730Updated 4 years ago
• mixu / distsysbook
  The book Distributed systems: for fun and profit
  ☆2,627Updated 3 years ago
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆844Updated 3 years ago
• jepsen-io / jepsen
  A framework for distributed systems verification, with fault injection
  ☆7,213Updated last week
• aphyr / distsys-class
  Class materials for a distributed systems lecture series
  ☆9,242Updated 8 months ago
• heathermiller / dist-prog-book
  ☆3,423Updated 4 years ago
• anishathalye / porcupine
  A fast linearizability checker written in Go 🔎
  ☆1,109Updated 2 months ago
• copyconstruct / library
  A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineerin…
  ☆565Updated 6 years ago
• jepsen-io / maelstrom
  A workbench for writing toy implementations of distributed systems.
  ☆3,432Updated 2 months ago
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,418Updated 2 weeks ago
• rShetty / awesome-distributed-systems
  Awesome list of distributed systems resources
  ☆1,611Updated 4 months ago
• mmcgrana / services-engineering
  A reading list for services engineering, with a focus on cloud infrastructure services
  ☆3,663Updated 3 years ago
• theanalyst / awesome-distributed-systems
  A curated list to learn about distributed systems
  ☆11,441Updated 10 months ago
• lorin / resilience-engineering
  Resilience engineering papers
  ☆3,005Updated 2 weeks ago
• ChrisWhealy / DistributedSystemNotes
  Notes on Lindsey Kuper's lectures on Distributed Systems
  ☆478Updated 2 months ago
• ongardie / dissertation
  Sources for my PhD dissertation on the Raft consensus algorithm
  ☆1,055Updated 9 years ago
• dancres / Pages
  A Distributed Systems Reading List
  ☆186Updated 4 years ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆679Updated last month
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆497Updated last year
• henryr / distributed-systems-readings
  Readings in distributed systems
  ☆415Updated 10 years ago
• emichael / dslabs
  Distributed Systems Labs and Framework
  ☆1,477Updated 7 months ago
• rxin / db-readings
  Readings in Databases
  ☆7,990Updated last year
• sqlancer / sqlancer
  Automated testing to find logic and performance bugs in database systems
  ☆1,664Updated this week
• soundcloud / roshi
  Roshi is a large-scale CRDT set implementation for timestamped events.
  ☆3,172Updated 3 weeks ago
• joelparkerhenderson / queueing-theory
  Queueing theory: an introduction for software development
  ☆2,178Updated 7 months ago
• worstcase / blockade
  Docker-based utility for testing network failures and partitions in distributed applications
  ☆911Updated 4 years ago
• tlaplus / tlaplus
  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
  ☆2,546Updated 3 weeks ago