Statistics for language TLA
RepositoryStats tracks 633,275 Github repositories, of these 20 are reported to use a primary language of TLA.
Most starred repositories for language TLA (view more)
A collection of TLA⁺ specifications of varying complexities.
Created
2016-03-01
442 commits to master branch, last one 10 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 5 months ago
TLA+ specification for the Raft consensus algorithm
Created
2014-12-02
16 commits to master branch, last one about a month ago
This repository has no description...
Created
2017-12-19
54 commits to master branch, last one 2 years ago
Trending repositories for language TLA (view more)
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)
Last week (relative gain)
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
tlaplus/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
280
(+2)
mit
tlaplus-workshops/ewd998
Distributed termination detection on a ring, due to Shmuel Safra:
52
(+1)
mit
Last month (relative gain)
tlaplus-workshops/ewd998
Distributed termination detection on a ring, due to Shmuel Safra:
52
(+2%)
mit
Vanlightly/bookkeeper-tlaplus
A TLA+ specification of the Apache BookKeeper replication protocol
105
(+1.0%)
mit
tlaplus/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
280
(+0.7%)
mit
Last 12-months (new repositories)
no newly created repositories trending in the last 12 months
Last 12-months (absolute gain)
tlaplus/DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
828
(+53)
Last 12-months (relative gain)
tlaplus-workshops/ewd998
Distributed termination detection on a ring, due to Shmuel Safra:
52
(+13%)
mit