VictorTaelin/
Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
by Victor Taelin JavaScript 11 forks Created Mar 2017 View on GitHub
- Stars
- 117
- 1% of VictorTaelin's stars
- Rank
- #429,627
- of 851,992 repos, top 51%
- In JavaScript
- #50,345
- of 99,802 repos, top 51%
Among 851,992 repos
100–160 stars: 155,455 repos, including calculus-of-constructions
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 #426,738
- Next milestone
- +2 stars to reach the top 50%
- Popular
- One of 490,655 repos with 100+ stars
- Yearly average
- 12 stars a year since Mar 2017