GitHub Rankingspeople and organizations by total stars
Rank among 26,736 organizations
#13,308

project-oak

project-oak, on GitHub since 2018, organization
Total stars
2,129
Repositories counted
16
Since yesterday
▼ 1
Tier
D

Where the stars come from

oak
1,515
rust-verification-tools
287
silveroak
133
tink-rust
95
hafnium-verification
29
transparent-release
26
10 other repositories
44

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#12,372#12,841#13,309 Oct 4Nov 6