Back to trending
How scoring works 
CertiRocq/certirocq
GitHubA Verified Compiler for Gallina, Written in Gallina
Momentum
CertiRocq/certirocq has 183 GitHub stars.
It currently ranks #15288 daily, #16217 weekly, #19326 monthly by momentum on Trending Repos; its best-ever rank is #5552.
Rankings
PeriodRankScore
Daily
#152880.0Weekly
#162170.0Monthly
#193260.0Engagement
Total stars
Daily new stars
Embeds
Best rank #5552