VictorTaelin/
A nano "theorem prover".
by Victor Taelin JavaScript MIT licence 0 forks Created Feb 2019 View on GitHub
- Stars
- 63
- 1% of VictorTaelin's stars
- Rank
- #699,784
- of 852,119 repos, top 83%
- In JavaScript
- #81,949
- of 99,808 repos, top 83%
Among 852,119 repos
63–100 stars: 217,631 repos, including ESCoC
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 #691,367
- Next milestone
- +3 stars to reach the top 80%
- Yearly average
- 8 stars a year since Feb 2019