Agda-zh
Agda 中文文档 Joined Feb 2018 View on GitHub
- Stars
- 222
- across 1 public repo
- Rank
- #55,419
- of 95,324 organizations, top 59%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 254,181 | 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版 | Haskell | 222 |
Among 95,324 organizations
160–250 stars: 13,162 organizations, including Agda-zh
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
- Haskell 222 stars, 100% · 1 repo
Quick stats
- Next rank
- +1 star to reach #55,290
- Next milestone
- +73 stars to reach the top 50%
- Public repos
- 1, 1 with 50+ stars
- Popular repos
- 1 over 100 stars
- Top repo
- PLFA-zh, #254,181 of all repos, 100% of stars