GitHub Rankingspeople and organizations by total stars
Rank among 26,840 organizations
#25,537

MetaRocq

MetaRocq, on GitHub since 2017, organization
Total stars
607
Repositories counted
5
Since yesterday
▲ 2
Tier
D

Where the stars come from

metarocq
571
rocq-verified-extraction
22
tutorials
7
nested-eliminators
5
metarocq.github.io
2

Rank over time

Lower is better. Snapshots are taken daily at 00:10 UTC.
#25,408#25,506#25,604 Oct 5Nov 11