GitHub Rankingspeople and organizations by total stars
Rank among 26,737 organizations
#8,985

verus-lang

verus-lang, on GitHub since 2022, organization
Total stars
3,662
Repositories counted
12
Since yesterday
▲ 9
Tier
D

Where the stars come from

verus
3,546
verified-memory-allocator
42
verusfmt
23
verified-ironkv
12
verus-spec-check
12
verus-mode.el
10
6 other repositories
17

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#8,985#9,185#9,385 Oct 4Nov 5