Topic · tla
tla
Tracked open-source repos tagged tla, sorted by stars.
Repos
3
Total stars
4,127
Avg. stars
1,376
Share
0.00%
Related topics
Topics that frequently appear alongside tla on the same repo.
Recent risers
Repos created in the last 90 days, tagged tla.
No new repos tagged with this topic in the last 90 days.
- #1
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
★ 3,026+7Star change over the last 7 days - #2★ 596+2Star change over the last 7 days
- #3
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
★ 506+0Star change over the last 7 days
