Alternatives and similar repositories for knossos

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

• jepsen-io / jepsen

  View on GitHub
  A framework for distributed systems verification, with fault injection
  ☆7,308Jan 16, 2026Updated 3 weeks ago
• anishathalye / porcupine

  View on GitHub
  A fast linearizability checker written in Go 🔎
  ☆1,143Updated this week
• jepsen-io / elle

  View on GitHub
  Black-box transactional safety checker based on cycle detection
  ☆687Dec 13, 2025Updated 2 months ago
• ahorn / linearizability-checker

  View on GitHub
  Fast linearizability checker
  ☆67Jun 16, 2015Updated 10 years ago
• xelabs / go-jepsen

  View on GitHub
  go-jepsen is a toolset for distributed systems verification, includes SIV(Snapshot Isolation Verification) and etc...
  ☆63Feb 27, 2018Updated 7 years ago
• yaledb / calvin

  View on GitHub
  Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…
  ☆327Dec 13, 2021Updated 4 years ago
• efficient / epaxos

  View on GitHub
  ☆630Aug 15, 2021Updated 4 years ago
• pingcap / chaos

  View on GitHub
  A test framework for linearizability check with Go
  ☆211Jul 10, 2019Updated 6 years ago
• ept / hermitage

  View on GitHub
  What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolati…
  ☆2,658Jan 23, 2026Updated 3 weeks ago
• NetSys / demi

  View on GitHub
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆90Mar 12, 2016Updated 9 years ago
• CorfuDB / CorfuDB

  View on GitHub
  A cluster consistency platform
  ☆661Feb 3, 2026Updated last week
• pingcap / tla-plus

  View on GitHub
  ☆305Jun 9, 2024Updated last year
• aganesan4 / CORDS

  View on GitHub
  File-system fault injection framework for distributed storage systems
  ☆68Oct 29, 2018Updated 7 years ago
• cmschmtt / tla-plus-resources

  View on GitHub
  Personal reading list/reference re: TLA+
  ☆90Feb 13, 2018Updated 8 years ago
• xinhaoyuan / morpheus

  View on GitHub
  Erlang Sandboxing for Reliable and Scalable Concurrency Testing
  ☆25Nov 28, 2019Updated 6 years ago
• Azure / azure-cosmos-tla

  View on GitHub
  Azure Cosmos TLA+ specifications
  ☆293Dec 14, 2023Updated 2 years ago
• stateright / stateright

  View on GitHub
  A model checker for implementing distributed systems.
  ☆1,778Jul 27, 2025Updated 6 months ago
• scylladb / charybdefs

  View on GitHub
  ScyllaDB fault injection filesystem
  ☆253Apr 29, 2021Updated 4 years ago
• aphyr / schadenfreude

  View on GitHub
  Clojure benchmarking tools
  ☆35Jan 5, 2015Updated 11 years ago
• aphyr / gretchen

  View on GitHub
  Offline serializability verification, in Clojure
  ☆66Jun 7, 2017Updated 8 years ago
• ailidani / paxi

  View on GitHub
  Paxos protocol framework
  ☆558Dec 29, 2023Updated 2 years ago
• pron / amazon-snapshot-spec

  View on GitHub
  TLA+ and Alloy specs of database isolation
  ☆21Oct 13, 2015Updated 10 years ago
• dgrnbrg / libdistsys

  View on GitHub
  ☆80May 19, 2015Updated 10 years ago
• pingcap / tipocket

  View on GitHub
  A toolkit for testing TiDB
  ☆139Feb 25, 2023Updated 2 years ago
• atomix / atomix-jepsen

  View on GitHub
  Atomix Jepsen tests
  ☆14Feb 7, 2017Updated 9 years ago
• pfeodrippe / arrudeia

  View on GitHub
  Test your concurrent thoughts, don't let it be a nightmare
  ☆13Nov 5, 2021Updated 4 years ago
• ongardie / raft.tla

  View on GitHub
  TLA+ specification for the Raft consensus algorithm
  ☆507Feb 18, 2025Updated 11 months ago
• tlaplus / tlaplus

  View on GitHub
  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
  ☆2,603Feb 5, 2026Updated last week
• spacejam / tla-rust

  View on GitHub
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,056May 23, 2017Updated 8 years ago
• uwplse / verdi

  View on GitHub
  A framework for formally verifying distributed systems implementations in Coq
  ☆618Jan 27, 2026Updated 2 weeks ago
• aphyr / tesser

  View on GitHub
  Clojure reducers, but for parallel execution: locally and on distributed systems.
  ☆889Dec 2, 2025Updated 2 months ago
• ongardie / dissertation

  View on GitHub
  Sources for my PhD dissertation on the Raft consensus algorithm
  ☆1,062May 24, 2016Updated 9 years ago
• dgryski / awesome-consensus

  View on GitHub
  Awesome list for Paxos and friends
  ☆2,133May 29, 2024Updated last year
• tlaplus / Examples

  View on GitHub
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,449Updated this week
• gryadka / js

  View on GitHub
  Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
  ☆334Aug 13, 2018Updated 7 years ago
• DistCompiler / pgo

  View on GitHub
  PGo is a source to source compiler from Modular PlusCal specs into Go programs.
  ☆195Dec 17, 2025Updated last month
• belaban / pluscal

  View on GitHub
  Tests with PlusCal / TLA+
  ☆25Jan 12, 2017Updated 9 years ago
• jepsen-io / maelstrom

  View on GitHub
  A workbench for writing toy implementations of distributed systems.
  ☆3,489Nov 28, 2025Updated 2 months ago
• techascent / tvm-clj

  View on GitHub
  clojure tvm bindings and exploration
  ☆97Aug 25, 2022Updated 3 years ago