GitHub Rankingspeople and organizations by total stars
Rank among 52,676 people
#43,055

Emina Torlak

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

Where the stars come from

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

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#42,647#42,851#43,055 Oct 5Nov 4