GitHub Rankingspeople and organizations by total stars
Rank among 52,681 people
#36,689

Mate Soos

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

Where the stars come from

cryptominisat
943
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,442#36,689 Oct 5Nov 2