GitHub Rankings
people and organizations by total stars
People
Organizations
Methodology
Get your badge
Rank among 52,654 people
#19,374
Yoichi Hirai
pirapira, on GitHub since 2009
Total stars
2,162
Repositories counted
55
Since yesterday
same
Tier
D
Where the stars come from
awesome-ethereum-virtual-machine
851
bamboo
323
ethereum-formal-verification-overview
295
eth-isabelle
245
coq2rust
226
evmverif
44
49 other repositories
178
Rank over time
Lower is better. Snapshots are taken daily at 00:10 UTC.
#19,068
#19,221
#19,374
Oct 5
Nov 8