GitHub Rankingspeople and organizations by total stars
Rank among 26,737 organizations
#12,634

AbsInt

AbsInt, on GitHub since 2014, organization
Total stars
2,296
Repositories counted
6
Since yesterday
▲ 1
Tier
D

Where the stars come from

CompCert
2,268
FirstAid
13
CompCert-small-tests
7
app4mc-plugin
4
CompCert-AbsInt-Releases
2
qt6
2

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#11,892#12,272#12,652 Oct 4Nov 5