Verifies the linearizability of experimentally accessible histories.
β418Jan 6, 2026Updated 2 months ago
Alternatives and similar repositories for knossos
Users that are interested in knossos are comparing it to the libraries listed below
Sorting:
- A framework for distributed systems verification, with fault injectionβ7,318Feb 24, 2026Updated last week
- A fast linearizability checker written in Go πβ1,150Feb 10, 2026Updated 3 weeks ago
- Black-box transactional safety checker based on cycle detectionβ688Dec 13, 2025Updated 2 months ago
- Fast linearizability checkerβ67Jun 16, 2015Updated 10 years ago
- go-jepsen is a toolset for distributed systems verification, includes SIV(Snapshot Isolation Verification) and etc...β63Feb 27, 2018Updated 8 years ago
- 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
- β629Aug 15, 2021Updated 4 years ago
- A test framework for linearizability check with Goβ209Jul 10, 2019Updated 6 years ago
- What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolatiβ¦β2,664Jan 23, 2026Updated last month
- Interposition code for DEMi (Distributed Execution Minimizer)β90Mar 12, 2016Updated 9 years ago
- A cluster consistency platformβ662Feb 19, 2026Updated 2 weeks ago
- β305Jun 9, 2024Updated last year
- File-system fault injection framework for distributed storage systemsβ68Oct 29, 2018Updated 7 years ago
- Personal reading list/reference re: TLA+β90Feb 13, 2018Updated 8 years ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testingβ25Nov 28, 2019Updated 6 years ago
- Azure Cosmos TLA+ specificationsβ292Dec 14, 2023Updated 2 years ago
- A model checker for implementing distributed systems.β1,786Jul 27, 2025Updated 7 months ago
- ScyllaDB fault injection filesystemβ253Apr 29, 2021Updated 4 years ago
- Clojure benchmarking toolsβ35Jan 5, 2015Updated 11 years ago
- Offline serializability verification, in Clojureβ66Jun 7, 2017Updated 8 years ago
- Paxos protocol frameworkβ559Dec 29, 2023Updated 2 years ago
- TLA+ and Alloy specs of database isolationβ21Oct 13, 2015Updated 10 years ago
- β80May 19, 2015Updated 10 years ago
- A toolkit for testing TiDBβ140Feb 25, 2023Updated 3 years ago
- Atomix Jepsen testsβ14Feb 7, 2017Updated 9 years ago
- Test your concurrent thoughts, don't let it be a nightmareβ13Nov 5, 2021Updated 4 years ago
- TLA+ specification for the Raft consensus algorithmβ508Feb 18, 2025Updated last year
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+β1,056May 23, 2017Updated 8 years ago
- Clojure reducers, but for parallel execution: locally and on distributed systems.β889Dec 2, 2025Updated 3 months ago
- TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.β2,627Updated this week
- A framework for formally verifying distributed systems implementations in Coqβ620Jan 27, 2026Updated last month
- A workbench for writing toy implementations of distributed systems.β3,504Nov 28, 2025Updated 3 months ago
- Awesome list for Paxos and friendsβ2,143May 29, 2024Updated last year
- Sources for my PhD dissertation on the Raft consensus algorithmβ1,063May 24, 2016Updated 9 years ago
- Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocolβ334Aug 13, 2018Updated 7 years ago
- A collection of TLAβΊ specifications of varying complexities.β1,459Updated this week
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.β195Dec 17, 2025Updated 2 months ago
- Tests with PlusCal / TLA+β25Jan 12, 2017Updated 9 years ago
- clojure tvm bindings and explorationβ97Aug 25, 2022Updated 3 years ago