tlaplus / DrTLAPlus

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

tlaplus
tlaplus
Date Created 2016-07-20 (8 years ago)
Commits 71 (last one 2 years ago)
Stargazers 829 (0 this week)
Watchers 106 (0 this week)
Forks 98
License unknown
Ranking

RepositoryStats indexes 633,155 repositories, of these tlaplus/DrTLAPlus is ranked #63,590 (90th percentile) for total stargazers, and #16,639 for total watchers. Github reports the primary language for this repository as TLA, for repositories using this language it is ranked #3/20.

tlaplus/DrTLAPlus is also tagged with popular topics, for these it's ranked: algorithm (#200/766)

Star History

Github stargazers over time

90090080080070070060060050050040040030030020020010010000201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

10810810810810710710710710710710610610610620232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

1 commits on the default branch (master) since jan '22

1111110.50.5000000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

50504545404035353030252520201515101055002016201620172017201820182019201920202020202120212022202220242024

Issue History

Github Issues disabled for this repository

Languages

The only known language in this repository is TLA

TLATLA

updated: 2025-03-30 @ 10:12am, id: 63790553 / R_kgDOA81d2Q