GitHub Rankingspeople and organizations by total stars
Rank among 52,906 people
#27,016

Kasper Luckow

ksluckow, on GitHub since 2013
Total stars
1,519
Repositories counted
7
Since yesterday
▼ 4
Tier
D

Where the stars come from

awesome-symbolic-execution
1,505
juppaal
8
Realpaver
3
BBDist
2
log2model
1
jpf-symbc-rt
0
1 other repository
0

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#22,750#24,886#27,022 Oct 4Nov 11