Back to trending
How scoring works 
LPCIC/coq-elpi
GitHubRocq plugin embedding Elpi
Momentum
LPCIC/coq-elpi has 198 GitHub stars. It gained 0 stars over 1 recorded day in the last 7 days and 0 over 2 recorded days in the last 30 days (snapshots through Nov 9, 2026).
It currently ranks #14407 daily, #6743 weekly, #7303 monthly by momentum on Trending Repos; its best-ever rank is #5730.
Trending Repos first recorded it on May 28, 2026.
Rankings
PeriodRankScore
Daily
#144070.0Weekly
#67430.1Monthly
#73030.2Engagement
Total stars
Daily new stars
Embeds
Best rank #5730