leanprover/
VS Code extension for the Lean 4 programming language and theorem prover
by Lean TypeScript Apache-2.0 licence 107 forks Created Dec 2020 View on GitHub
- Stars
- 318
- 2% of leanprover's stars
- Rank
- #187,397
- of 849,475 repos, top 23%
- In TypeScript
- #16,227
- of 62,145 repos, top 27%
Among 849,475 repos
250–400 stars: 77,258 repos, including vscode-lean4
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 #186,879
- Next milestone
- +38 stars to reach the top 20%
- Popular
- One of 489,906 repos with 100+ stars
- Yearly average
- 54 stars a year since Dec 2020