GitHub Rankingspeople and organizations by total stars
Rank among 52,908 people
#23,203

Armin Biere

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

Where the stars come from

kissat
685
cadical
630
satch
127
lingeling
111
aiger
107
gimsatul
39
23 other repositories
101

Rank over time

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