asatarin / testing-distributed-systems

Related projects ⓘ

Alternatives and complementary repositories for testing-distributed-systems

• dgryski / awesome-consensus
  Awesome list for Paxos and friends
  ☆2,049Updated 5 months ago
• heidihoward / distributed-consensus-reading-list
  A list of papers about distributed consensus.
  ☆2,526Updated 3 months ago
• ept / hermitage
  What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolati…
  ☆2,454Updated last month
• mixu / distsysbook
  The book Distributed systems: for fun and profit
  ☆2,559Updated 2 years ago
• redpanda-data / awesome-distributed-transactions
  Awesome list of distributed transactions
  ☆724Updated 3 years ago
• tlaplus / DrTLAPlus
  Dr. TLA+ series - learn an algorithm and protocol, study a specification
  ☆819Updated 2 years ago
• jepsen-io / jepsen
  A framework for distributed systems verification, with fault injection
  ☆6,836Updated 3 weeks ago
• rShetty / awesome-distributed-systems
  Awesome list of distributed systems resources
  ☆1,578Updated 4 years ago
• anishathalye / porcupine
  A fast linearizability checker written in Go 🔎
  ☆932Updated 6 months ago
• aphyr / distsys-class
  Class materials for a distributed systems lecture series
  ☆9,072Updated last year
• dastergon / awesome-chaos-engineering
  A curated list of Chaos Engineering resources.
  ☆6,000Updated 10 months ago
• theanalyst / awesome-distributed-systems
  A curated list to learn about distributed systems
  ☆10,719Updated 4 months ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,579Updated last month
• copyconstruct / library
  A collection of the papers, conference talks, articles, blog posts, interesting Twitter threads, HN/reddit comments on systems engineerin…
  ☆568Updated 5 years ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆643Updated last month
• zhenlohuang / awesome-distributed-systems
  A curated list of awesome distributed systems books, papers, resources and shiny things.
  ☆938Updated last year
• lorin / resilience-engineering
  Resilience engineering papers
  ☆2,944Updated last month
• erikgrinaker / readings
  Interesting readings and talks on computer science
  ☆671Updated 3 months ago
• emichael / dslabs
  Distributed Systems Labs and Framework
  ☆1,282Updated last week
• facebookarchive / LogDevice
  Distributed storage for sequential data
  ☆1,902Updated 3 years ago
• heathermiller / dist-prog-book
  ☆3,425Updated 3 years ago
• jepsen-io / maelstrom
  A workbench for writing toy implementations of distributed systems.
  ☆3,064Updated 3 months ago
• tlaplus / Examples
  A collection of TLA⁺ specifications of varying complexities
  ☆1,291Updated 3 weeks ago
• sqlancer / sqlancer
  Automated testing to find logic and performance bugs in database systems
  ☆1,499Updated last week
• rxin / db-readings
  Readings in Databases
  ☆7,688Updated 2 months ago
• alangibson / awesome-crdt
  A collection of awesome CRDT resources
  ☆1,221Updated 3 years ago
• mmcgrana / services-engineering
  A reading list for services engineering, with a focus on cloud infrastructure services
  ☆3,618Updated 2 years ago
• worstcase / blockade
  Docker-based utility for testing network failures and partitions in distributed applications
  ☆907Updated 3 years ago
• raft / raft.github.io
  website at https://raft.github.io
  ☆1,379Updated last month
• henryr / distributed-systems-readings
  Readings in distributed systems
  ☆415Updated 9 years ago