Trending Repos
TrendingRisersNewestTopicsCollectionsCompare
TrendingRisersNewestTopicsCollectionsCompare
Trending Repos

Trending Repos tracks GitHub momentum from stars, forks, and rank history.

Explore

TrendingRisersNewestTopicsCollections

Tools

SearchCompareBadgesSubmit a repo

Project

AboutStatsDevelopersContactPrivacy
Back to trending
mmirman/caledon avatar

mmirman/caledon

GitHub

higher order dependently typed logic programing

Haskell174 stars9 forks

Momentum

mmirman/caledon has 174 GitHub stars.

It currently ranks #8205 daily, #7750 weekly, #11632 monthly by momentum on Trending Repos; its best-ever rank is #5993.

Rankings

PeriodRankScore
Daily
#82050.0
Weekly
#77500.0
Monthly
#116320.0
How scoring works

Engagement

Total stars
Daily new stars

Similar trending repositories

  • simplex-chat/simplex-chatSimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!Haskell19,678 stars#2178 this week
  • hledgerorg/hledgerRobust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.Haskell4,817 stars#3875 this week
  • halogenandtoast/ArkhamHorrorAn unofficial rules-compliant browser based version of Arkham Horror: The Card Game. Not produced, endorsed, or supported by, or affiliated with Fantasy Flight Games.Haskell477 stars#3973 this week

Embeds

Best rank #5993
mmirman/caledon badge
Markdown