hwayne/learntla

A TLA+ guide

Archived by Hillel Wayne CSS CC-BY-4.0 licence 55 forks Created Dec 2016 View on GitHub

Stars
280
3% of hwayne's stars
Rank
#208,412
of 847,120 repos, top 25%
In CSS
#1,995
of 8,585 repos, top 24%

Among 847,120 repos

Compare with

250–400 stars: 77,100 repos, including learntla

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

Quick stats

Next rank
+1 star to reach #207,802
Next milestone
+76 stars to reach the top 20%
Popular
One of 488,400 repos with 100+ stars
Yearly average
28 stars a year since Dec 2016

Stars counted Recounted daily Next count around