rzk-lang/
An experimental proof assistant based on a type theory for synthetic ∞-categories.
by rzk proof assistant, satellite tools, and formalisations Haskell 31 forks Created Nov 2020 View on GitHub
- Stars
- 313
- 72% of rzk-lang's stars
- Rank
- #190,231
- of 851,984 repos, top 23%
- In Haskell
- #367
- of 2,043 repos, top 18%
Among 851,984 repos
250–400 stars: 77,404 repos, including rzk
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #189,694
- Next milestone
- +43 stars to reach the top 20%
- Popular
- One of 490,652 repos with 100+ stars
- Yearly average
- 52 stars a year since Nov 2020