GitHub Rankingspeople and organizations by total stars
Rank among 26,734 organizations
#15,808

Formal Land

formal-land, on GitHub since 2021, organization
Total stars
1,635
Repositories counted
15
Since yesterday
▲ 48
Tier
D

Where the stars come from

rocq-of-rust
1,196
rocq-of-ocaml
282
rocq-of-python
48
coq-bonsai
34
garden
34
coq-of-go
11
9 other repositories
30

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#14,363#15,121#15,878 Oct 4Nov 7