Statistics for language TLA
RepositoryStats tracks 567,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
419 commits to master branch, last one 16 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 9 days ago
TLA+ specification for the Raft consensus algorithm
Created
2014-12-02
14 commits to master branch, last one 18 days 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)
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)
Last month (relative gain)
tlaplus/DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
807
(+0.7%)
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
807
(+45)
will62794/tla-web
Interactive, web-based environment for exploring TLA+ specifications.
69
(+39)
mit
Last 12-months (relative gain)
will62794/tla-web
Interactive, web-based environment for exploring TLA+ specifications.
69
(+130%)
mit
DistCompiler/pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
173
(+15%)
apache-2.0