apalache-mc
- Stars
- 640
- across 5 public repos
- Rank
- #30,323
- of 95,327 organizations, top 32%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 102,794 | APALACHE: symbolic model checker for TLA+ and Quint | Scala | 625 |
Among 95,327 organizations
630–1k stars: 7,747 organizations, including apalache-mc
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
apalache 625, 98%
Smaller repos 15, 2%
Languages
- Scala 625 stars, 98% · 1 repo
Quick stats
- Next rank
- +1 star to reach #30,297
- Next milestone
- +62 stars to reach the top 30%
- Public repos
- 5, 1 with 50+ stars
- Popular repos
- 1 over 100 stars
- Top repo
- apalache, #102,794 of all repos, 98% of stars
- Smaller repos
- 15 stars from repos under 50