GitHub Rankingspeople and organizations by total stars
Rank among 52,413 people
#23,180

Armin Biere

arminbiere, on GitHub since 2016
Total stars
1,789
Repositories counted
29
Since yesterday
▼ 13
Tier
D

Where the stars come from

kissat
680
cadical
626
satch
126
lingeling
111
aiger
106
gimsatul
40
23 other repositories
100

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#23,117#23,170#23,222 Oct 5Oct 28