Back to trending
How scoring works 
viperproject/gobra
GitHubGobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Momentum
viperproject/gobra has 184 GitHub stars.
It currently ranks #22105 daily, #22807 weekly, #25224 monthly by momentum on Trending Repos; its best-ever rank is #5370.
Rankings
PeriodRankScore
Daily
#221050.0Weekly
#228070.0Monthly
#252240.0Engagement
Total stars
Daily new stars
Embeds
Best rank #5370