Back to trendingHow scoring works 
Momentum
YosysHQ/riscv-formal has 197 GitHub stars.
It currently ranks #23274 daily, #23940 weekly, #26253 monthly by momentum on Trending Repos; its best-ever rank is #5191.
Rankings
PeriodRankScore
Daily
#232740.0Weekly
#239400.0Monthly
#262530.0Engagement
Total stars
Daily new stars
Embeds
Best rank #5191