Back to trendingHow scoring works 
Momentum
metamath/set.mm has 325 GitHub stars.
It currently ranks #11160 daily, #12244 weekly, #15789 monthly by momentum on Trending Repos; its best-ever rank is #4408.
Rankings
PeriodRankScore
Daily
#111600.0Weekly
#122440.0Monthly
#157890.0Engagement
Total stars
Daily new stars
Embeds
Best rank #4408