GitHub Rankingspeople and organizations by total stars
Rank among 52,659 people
#17,348

Edwin Brady

edwinb, on GitHub since 2010
Total stars
2,402
Repositories counted
27
Since yesterday
▼ 5
Tier
D

Where the stars come from

Idris2-boot
889
Blodwen
540
idris-php
176
TypeDD-Samples
163
SPLV20
116
Yaffle
98
21 other repositories
420

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#17,018#17,183#17,348 Oct 5Nov 8