A collection of TLA⁺ specifications of varying complexities.
Created
2016-03-01
424 commits to master branch, last one 24 days ago
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
Created
2017-03-02
33 commits to master branch, last one 7 years ago
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Created
2016-07-20
71 commits to master branch, last one 2 years ago
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Created
2019-11-06
41 commits to main branch, last one 3 months ago
TLA+ specification for the Raft consensus algorithm
Created
2014-12-02
14 commits to master branch, last one 4 months ago
This repository has no description...
Created
2017-12-19
54 commits to master branch, last one 2 years ago
Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
no repositories trending in the last 3 days
Last 3 days (relative gain)
no repositories trending in the last 3 days
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
will62794/spectacle
Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
Last week (relative gain)
will62794/spectacle
Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
will62794/spectacle
Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
spacejam/tla-rust
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
Last month (relative gain)
will62794/spectacle
Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
Last 12-months (new repositories)
no newly created repositories trending in the last 12 months
Last 12-months (absolute gain)
will62794/spectacle
Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
tlaplus/DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Last 12-months (relative gain)
will62794/spectacle
Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.