GitHub Rankingspeople and organizations by total stars
Rank among 52,898 people
#39,972

ahorn

ahorn, on GitHub since 2008
Total stars
915
Repositories counted
18
Since yesterday
▼ 8
Tier
D

Where the stars come from

android-rss
526
cpp-channel
158
linearizability-checker
66
xv6
56
smt-kit
39
native-symbolic-execution-clang
32
12 other repositories
38

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#39,109#39,541#39,972 Oct 5Nov 14