GitHub Rankingspeople and organizations by total stars
Rank among 52,898 people
#43,201

Emina Torlak

emina, on GitHub since 2011
Total stars
807
Repositories counted
4
Since yesterday
▼ 3
Tier
D

Where the stars come from

rosette
709
kodkod
92
minisatp
4
emina.github.io
2

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#42,647#42,924#43,201 Oct 5Nov 14