Statistics for language TLA
RepositoryStats tracks 579,555 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
423 commits to master branch, last one 7 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 10 days ago
TLA+ specification for the Raft consensus algorithm
Created
2014-12-02
14 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)
no repositories trending in the last week
Last week (relative gain)
no repositories trending in the last week
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
tlaplus/DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
819
(+11)
Last month (relative gain)
will62794/tla-web
Interactive, web-based environment for exploring TLA+ specifications.
71
(+1%)
mit
tlaplus/DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
819
(+1%)
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
819
(+54)
will62794/tla-web
Interactive, web-based environment for exploring TLA+ specifications.
71
(+40)
mit
Last 12-months (relative gain)
will62794/tla-web
Interactive, web-based environment for exploring TLA+ specifications.
71
(+129%)
mit
DistCompiler/pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
175
(+16%)
apache-2.0