Back to trending
How scoring works 
HarvardPL/formulog
GitHubDatalog with support for SMT queries and first-order functional programming
Momentum
HarvardPL/formulog has 181 GitHub stars.
It currently ranks #5437 daily, #6796 weekly, #9788 monthly by momentum on Trending Repos; its best-ever rank is #4721.
Trending Repos first recorded it on May 19, 2026.
Rankings
PeriodRankScore
Daily
#54370.0Weekly
#67960.0Monthly
#97880.0Engagement
Total stars
Daily new stars
Embeds
Best rank #4721