Apress/practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

by Apress TLA Other licence 69 forks Created Oct 2018 View on GitHub

Stars
300
1% of Apress's stars
Rank
#197,290
of 852,369 repos, top 24%

Among 852,369 repos

250–400 stars: 77,419 repos, including practical-tla-plus

Stars along the bottom, and repos in each band on a log scale

Quick stats

Next rank
+1 star to reach #196,766
Next milestone
+55 stars to reach the top 20%
Popular
One of 490,939 repos with 100+ stars
Yearly average
37 stars a year since Oct 2018

Stars counted Recounted daily Next count around