VictorTaelin/
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
by Victor Taelin C 71 forks Created Aug 2018 View on GitHub
- Stars
- 961
- 9% of VictorTaelin's stars
- Rank
- #68,920
- of 852,272 repos, top 9%
- In C
- #2,642
- of 32,720 repos, top 9%
Among 852,272 repos
630–1k stars: 35,619 repos, including Interaction-Calculus
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 #68,866
- Next milestone
- +6,246 stars to reach the top 1%
- Popular
- One of 490,881 repos with 100+ stars
- Yearly average
- 117 stars a year since Aug 2018