GitHub Rankingspeople and organizations by total stars
Rank among 26,738 organizations
#5,341

Imperial College London

ImperialCollegeLondon, on GitHub since 2011, organization
Total stars
6,882
Repositories counted
645
Since yesterday
▲ 3
Tier
D

Where the stars come from

FLT
1,056
covid19model
941
formalising-mathematics
317
natural_number_game
305
formalising-mathematics-2024
262
sap-voicebox
255
639 other repositories
3,746

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#5,279#5,316#5,353 Oct 4Nov 4