GitHub Rankingspeople and organizations by total stars
Rank among 52,899 people
#36,847

Mate Soos

msoos, on GitHub since 2012
Total stars
1,028
Repositories counted
50
Since yesterday
▼ 4
Tier
D

Where the stars come from

cryptominisat
944
grainofsalt
19
minisat_emscripten
10
minisat-v1.14
9
walksat
6
cryptominisat_web
5
44 other repositories
35

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#36,195#36,521#36,847 Oct 5Nov 14