epfl-lara/
The Leon system for verification, synthesis, repair
by EPFL-LARA Scala Other licence 44 forks Created Jan 2013 View on GitHub
- Stars
- 168
- 14% of epfl-lara's stars
- Rank
- #320,239
- of 852,045 repos, top 38%
- In Scala
- #1,073
- of 3,053 repos, top 36%
Among 852,045 repos
160–250 stars: 104,076 repos, including leon
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 #318,678
- Next milestone
- +53 stars to reach the top 30%
- Popular
- One of 490,720 repos with 100+ stars
- Yearly average
- 12 stars a year since Jan 2013