GitHub Rankingspeople and organizations by total stars
Rank among 52,678 people
#39,763

ahorn

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

Where the stars come from

android-rss
526
cpp-channel
159
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,436#39,763 Oct 5Nov 3