tlaplus / DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
☆804Updated 2 years ago
Related projects: ⓘ
- A collection of TLA⁺ specifications of varying complexities☆1,267Updated last month
- TLA+ specification for the Raft consensus algorithm☆458Updated this week
- Sources for my PhD dissertation on the Raft consensus algorithm☆986Updated 8 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆484Updated 2 weeks ago
- Awesome list for Paxos and friends☆2,033Updated 3 months ago
- A fast linearizability checker written in Go 🔎☆878Updated 4 months ago
- A list of papers about distributed consensus.☆2,345Updated last month
- Source Code for 'Practical TLA+' by Hillel Wayne☆287Updated 2 years ago
- ☆611Updated 3 years ago
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆266Updated this week
- Paxos protocol framework☆548Updated 8 months ago
- Azure Cosmos TLA+ specifications☆268Updated 9 months ago
- TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.☆2,287Updated this week
- TLA+ language support for Visual Studio Code☆346Updated 3 weeks ago
- ☆290Updated 3 months ago
- Verifies the linearizability of experimentally accessible histories.☆397Updated 11 months ago
- Black-box transactional safety checker based on cycle detection☆634Updated 7 months ago
- LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a rel…☆1,867Updated 2 months ago
- APALACHE: symbolic model checker for TLA+ and Quint☆429Updated last week
- Readings in distributed systems☆415Updated 9 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,041Updated 7 years ago
- Awesome list of distributed transactions☆725Updated 2 years ago
- A TLA+ guide☆278Updated 2 years ago
- A framework for formally verifying distributed systems implementations in Coq☆581Updated 4 months ago
- A cluster consistency platform☆639Updated this week
- A curated list of TLA+ resources.☆128Updated 2 months ago
- H-Store Distributed Main Memory OLTP Database System☆564Updated 4 years ago
- An open sourced implementation of Bw-Tree in SQL Server Hekaton☆475Updated 5 years ago
- Notes on Lindsey Kuper's lectures on Distributed Systems☆452Updated 11 months ago
- Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of…☆304Updated 2 years ago