GaloisInc/
LLVM support for the lean theorem prover
by Galois, Inc. Lean Apache-2.0 licence 2 forks Created Aug 2018 View on GitHub
- Stars
- 53
- 1% of GaloisInc's stars
- Rank
- #801,369
- of 851,984 repos, top 95%
Among 851,984 repos
40–63 stars: 143,700 repos, including lean-llvm
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 #789,863
- Next milestone
- +4 stars to reach the top 90%
- Yearly average
- 6 stars a year since Aug 2018