GitHub Rankingspeople and organizations by total stars
Rank among 52,154 people
#6,262

Wind Wong

windtf, on GitHub since 2025
Total stars
5,854
Repositories counted
2
Since yesterday
▼ 4
Tier
D

Where the stars come from

wireproxy
5,849
agda-symmetries
5

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#6,143#6,203#6,262 Oct 4Oct 21