michaelt/martin-lof

papers of Per Martin Löf

by michaelt TeX 72 forks Created Oct 2013 View on GitHub

Stars
836
77% of michaelt's stars
Rank
#78,524
of 851,984 repos, top 10%
In TeX
#214
of 2,738 repos, top 8%

Among 851,984 repos

Compare with

630–1k stars: 35,594 repos, including martin-lof

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

Quick stats

Next rank
+1 star to reach #78,426
Next milestone
+6,384 stars to reach the top 1%
Popular
One of 490,652 repos with 100+ stars
Yearly average
64 stars a year since Oct 2013

Stars counted Recounted daily Next count around