easychen/LeanBase

by Easy GPL-2.0 licence 6 forks Created Sept 2017 View on GitHub

Stars
140
<1% of easychen's stars
Rank
#370,721
of 847,188 repos, top 44%

Among 847,188 repos

100–160 stars: 154,329 repos, including LeanBase

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

Quick stats

Next rank
+1 star to reach #368,555
Next milestone
+17 stars to reach the top 40%
Popular
One of 488,466 repos with 100+ stars
Yearly average
15 stars a year since Sept 2017

Stars counted Recounted daily Next count around