FormalTheology
FormalTheology Joined Jul 2013 View on GitHub
- Stars
- 476
- across 1 public repo
- Rank
- #36,259
- of 95,325 organizations, top 39%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 131,466 | Formalizations of Gödel's Ontological Proof of God's Existence | TeX | 476 |
Among 95,325 organizations
400–630 stars: 9,583 organizations, including FormalTheology
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 476 stars, 100% · 1 repo
Quick stats
- Next rank
- +1 star to reach #36,216
- Next milestone
- +226 stars to reach the top 30%
- Public repos
- 1, 1 with 50+ stars
- Popular repos
- 1 over 100 stars
- Top repo
- GoedelGod, #131,466 of all repos, 100% of stars