rzk-lang
rzk proof assistant, satellite tools, and formalisations Joined Jul 2023 View on GitHub
- Stars
- 433
- across 15 public repos
- Rank
- #38,406
- of 95,324 organizations, top 41%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 190,231 | An experimental proof assistant based on a type theory for synthetic ∞-categories. | Haskell | 313 |
| 616,544 | Formalisations for simplicial HoTT and synthetic ∞-categories. | Markdown | 74 |
Among 95,324 organizations
400–630 stars: 9,582 organizations, including rzk-lang
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 313 stars, 72% · 1 repo
- Markdown 74 stars, 17% · 1 repo
When they were made
2 repos with 50+ stars, made between 2020 and 2023
101001k sHoTTrzk
Quick stats
- Next rank
- +1 star to reach #38,342
- Next milestone
- +6 stars to reach the top 40%
- Public repos
- 15, 2 with 50+ stars
- Popular repos
- 1 over 100 stars
- Top repo
- rzk, #190,231 of all repos, 72% of stars
- Smaller repos
- 46 stars from repos under 50