tlaplus / DrTLAPlus

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

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

RepositoryStats indexes 617,630 repositories, of these tlaplus/DrTLAPlus is ranked #62,592 (90th percentile) for total stargazers, and #16,541 for total watchers. Github reports the primary language for this repository as TLA, for repositories using this language it is ranked #3/21.

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

Star History

Github stargazers over time

90090080080070070060060050050040040030030020020010010000201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

10810810810810710710710710710710610610610620232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

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-02-16 @ 11:43pm, id: 63790553 / R_kgDOA81d2Q