GitHub Rankingspeople and organizations by total stars
Rank among 26,736 organizations
#13,028

AeneasVerif

AeneasVerif, on GitHub since 2022, organization
Total stars
2,224
Repositories counted
11
Since yesterday
same
Tier
D

Where the stars come from

aeneas
1,167
charon
476
eurydice
440
kraken
66
scylla
48
icfp-tutorial
11
5 other repositories
16

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#12,975#13,451#13,927 Oct 4Nov 6