Statistics for language TLA

RepositoryStats tracks 596,212 Github repositories, of these 20 are reported to use a primary language of TLA.

Most starred repositories for language TLA (view more)

tlaplus
Examples tlaplus
201
1.3k
other
45
A collection of TLA⁺ specifications of varying complexities.
pluscal tlaplus
Created 2016-03-01
423 commits to master branch, last one about a month ago
spacejam
tla-rust spacejam
26
1.0k
unknown
44
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
tla rust lock-free distributed model-checking
Created 2017-03-02
33 commits to master branch, last one 7 years ago
tlaplus
DrTLAPlus tlaplus
98
823
unknown
107
Dr. TLA+ series - learn an algorithm and protocol, study a specification
pluscal tlaplus protocol algorithm
Created 2016-07-20
71 commits to master branch, last one 2 years ago
lemmy
BlockingQueue lemmy
21
490
mit
12
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
tla fifo java tlaps tlaplus fifo-queue specification model-checking
Created 2019-11-06
41 commits to main branch, last one about a month ago
ongardie
raft.tla ongardie
73
475
unknown
21
TLA+ specification for the Raft consensus algorithm
Created 2014-12-02
14 commits to master branch, last one 3 months ago
pingcap
tla-plus pingcap
41
294
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)

Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
spacejam
spacejam/tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

1,047 (+1)
tlaplus
tlaplus/Examples

A collection of TLA⁺ specifications of varying complexities.

1,302 (+1)
Last 3 days (relative gain)
spacejam
spacejam/tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

1,047 (+0.1%)
tlaplus
tlaplus/Examples

A collection of TLA⁺ specifications of varying complexities.

1,302 (+0.1%)
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
ongardie
ongardie/raft.tla

TLA+ specification for the Raft consensus algorithm

475 (+2)
spacejam
spacejam/tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

1,047 (+1)
tlaplus
tlaplus/Examples

A collection of TLA⁺ specifications of varying complexities.

1,302 (+1)
Last week (relative gain)
ongardie
ongardie/raft.tla

TLA+ specification for the Raft consensus algorithm

475 (+0.4%)
spacejam
spacejam/tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

1,047 (+0.1%)
tlaplus
tlaplus/Examples

A collection of TLA⁺ specifications of varying complexities.

1,302 (+0.1%)
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
will62794
will62794/tla-web

Interactive, web-based environment for exploring and visualizing TLA+ specifications.

83 (+10)
mit
tlaplus
tlaplus/Examples

A collection of TLA⁺ specifications of varying complexities.

1,302 (+10)
ongardie
ongardie/raft.tla

TLA+ specification for the Raft consensus algorithm

475 (+8)
Vanlightly
Vanlightly/kafka-tlaplus

TLA+ specifications for Kafka related algorithms

59 (+6)
mit
tlaplus
tlaplus/DrTLAPlus

Dr. TLA+ series - learn an algorithm and protocol, study a specification

823 (+3)
Last month (relative gain)
will62794
will62794/tla-web

Interactive, web-based environment for exploring and visualizing TLA+ specifications.

83 (+14%)
mit
Vanlightly
Vanlightly/kafka-tlaplus

TLA+ specifications for Kafka related algorithms

59 (+11%)
mit
ongardie
ongardie/raft.tla

TLA+ specification for the Raft consensus algorithm

475 (+2%)
Vanlightly
Vanlightly/raft-tlaplus

TLA+ specifications for Raft and variants

61 (+2%)
mit
tlaplus
tlaplus/Examples

A collection of TLA⁺ specifications of varying complexities.

1,302 (+0.8%)
Last 12-months (new repositories)
no newly created repositories trending in the last 12 months
Last 12-months (absolute gain)
tlaplus
tlaplus/Examples

A collection of TLA⁺ specifications of varying complexities.

1,302 (+128)
tlaplus
tlaplus/DrTLAPlus

Dr. TLA+ series - learn an algorithm and protocol, study a specification

823 (+56)
ongardie
ongardie/raft.tla

TLA+ specification for the Raft consensus algorithm

475 (+56)
will62794
will62794/tla-web

Interactive, web-based environment for exploring and visualizing TLA+ specifications.

83 (+51)
mit
hwayne
hwayne/learntla-v2

Learn TLA+ for free! No prior experience necessary!

200 (+51)
Last 12-months (relative gain)
will62794
will62794/tla-web

Interactive, web-based environment for exploring and visualizing TLA+ specifications.

83 (+159%)
mit
Vanlightly
Vanlightly/kafka-tlaplus

TLA+ specifications for Kafka related algorithms

59 (+111%)
mit
hwayne
hwayne/learntla-v2

Learn TLA+ for free! No prior experience necessary!

200 (+34%)
tlaplus
tlaplus/CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

273 (+14%)
mit
ongardie
ongardie/raft.tla

TLA+ specification for the Raft consensus algorithm

475 (+13%)