A collection of TLA⁺ specifications of varying complexities.
Created
2016-03-01
424 commits to master branch, last one 25 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)
Last 3 days (relative gain)
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
Last week (relative gain)
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+.
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+.