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

Galois, Inc.

GaloisInc, on GitHub since 2012, organization
Total stars
9,513
Repositories counted
379
Since yesterday
▼ 2
Tier
D

Where the stars come from

cryptol
1,227
HaLVM
1,069
crucible
781
saw-script
525
ivory
417
swanky
366
373 other repositories
5,128

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#3,965#4,000#4,034 Oct 4Nov 3