OpenLogicProject/
An open-source, customizable intermediate logic textbook
by Open Logic Project TeX CC-BY-4.0 licence 291 forks Created Dec 2012 View on GitHub
- Stars
- 1,394
- 85% of OpenLogicProject's stars
- Rank
- #49,236
- of 851,984 repos, top 6%
- In TeX
- #132
- of 2,738 repos, top 5%
Among 851,984 repos
1k–1.6k stars: 23,673 repos, including OpenLogic
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #49,200
- Next milestone
- +5,824 stars to reach the top 1%
- Popular
- One of 66,562 repos with 1k+ stars
- Yearly average
- 100 stars a year since Dec 2012