GitHub Rankingspeople and organizations by total stars
Rank among 26,739 organizations
#4,076

SRI Lab, ETH Zurich

eth-sri, on GitHub since 2013, organization
Total stars
9,417
Repositories counted
141
Since yesterday
▼ 2
Tier
D

Where the stars come from

lmql
4,221
securify2
635
debin
454
eran
347
matharena
294
language-model-arithmetic
223
135 other repositories
3,243

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#4,004#4,040#4,076 Oct 4Nov 3