epfl-lara
EPFL-LARA Joined Dec 2012 View on GitHub
- Stars
- 1,208
- across 70 public repos
- Rank
- #20,235
- of 95,327 organizations, top 22%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 148,407 | Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless | Scala | 415 |
| 320,239 | The Leon system for verification, synthesis, repair | Scala | 168 |
| 402,518 | DSL in Scala for Constraint Solving with Z3 SMT Solver | Scala | 127 |
| 478,935 | Solver for higher-order functional programs, used by Stainless | Scala | 102 |
| 636,864 | Proof assistant based on first-order logic and set theory | Scala | 71 |
| 691,297 | LL(1) parser combinators in Scala | Scala | 64 |
Among 95,327 organizations
1k–1.6k stars: 6,185 organizations, including epfl-lara
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and organizations in each band on a log scale
Where the stars are
stainless 415, 34%
Smaller repos 261, 22%
leon 168, 14%ScalaZ3 127, 11%inox 102, 8%lisa 71, 6%scallion 64, 5%Languages
- Scala 947 stars, 78% · 6 repos
When they were made
6 repos with 50+ stars, made between 2011 and 2021
101001k ScalaZ3leonstainless
Quick stats
- Next rank
- +1 star to reach #20,225
- Next milestone
- +115 stars to reach the top 20%
- Public repos
- 70, 6 with 50+ stars
- Popular repos
- 4 over 100 stars
- Top repo
- stainless, #148,407 of all repos, 34% of stars
- Smaller repos
- 261 stars from repos under 50