GitHub Rankingspeople and organizations by total stars
Rank among 52,407 people
#26,860

Kasper Luckow

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

Where the stars come from

awesome-symbolic-execution
1,503
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,805#26,860 Oct 4Oct 29