Statistics for language TLA

RepositoryStats tracks 609,028 Github repositories, of these 21 are reported to use a primary language of TLA.

Most starred repositories for language TLA (view more)

201
1.3k
other
47
A collection of TLA⁺ specifications of varying complexities.
Created 2016-03-01
424 commits to master branch, last one 24 days ago
26
1.1k
unknown
44
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
98
824
unknown
107
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
74
480
unknown
21
TLA+ specification for the Raft consensus algorithm
Created 2014-12-02
14 commits to master branch, last one 4 months ago
41
293
apache-2.0
110
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)