OpenLogicProject
Open Logic Project Joined Feb 2013 View on GitHub
- Stars
- 1,639
- across 13 public repos
- Rank
- #16,447
- of 95,325 organizations, top 18%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 49,236 | An open-source, customizable intermediate logic textbook | TeX | 1,394 |
| 643,842 | P.D. Magnus' forallx logic textbook | TeX | 70 |
| 708,285 | JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED) | PHP | 62 |
Among 95,325 organizations
1.6k–2.5k stars: 4,569 organizations, including OpenLogicProject
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and organizations in each band on a log scale
Where the stars are
Languages
- TeX 1.5k stars, 89% · 2 repos
- PHP 62 stars, 4% · 1 repo
When they were made
3 repos with 50+ stars, made between 2012 and 2017
101001k10k fitch-checkerforallxOpenLogic
Quick stats
- Next rank
- +1 star to reach #16,443
- Next milestone
- +1,785 stars to reach the top 10%
- Public repos
- 13, 3 with 50+ stars
- Popular repos
- 1 over 100 stars, 1 over 1k stars
- Top repo
- OpenLogic, #49,236 of all repos, 85% of stars
- Smaller repos
- 113 stars from repos under 50