ProofGeneral
- Stars
- 575
- across 3 public repos
- Rank
- #32,316
- of 95,336 organizations, top 34%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 112,934 | This repo is the new home of Proof General | Emacs Lisp | 564 |
Among 95,336 organizations
400–630 stars: 9,579 organizations, including ProofGeneral
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
PG 564, 98%
Smaller repos 11, 2%
Languages
- Emacs Lisp 564 stars, 98% · 1 repo
Quick stats
- Next rank
- +1 star to reach #32,288
- Next milestone
- +127 stars to reach the top 30%
- Public repos
- 3, 1 with 50+ stars
- Popular repos
- 1 over 100 stars
- Top repo
- PG, #112,934 of all repos, 98% of stars
- Smaller repos
- 11 stars from repos under 50