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
EasyCrypt/easycrypt avatar

EasyCrypt/easycrypt

GitHub

EasyCrypt: Computer-Aided Cryptographic Proofs

OCaml420 stars67 forksMIT

Momentum

EasyCrypt/easycrypt has 420 GitHub stars.

It currently ranks #11106 daily, #12191 weekly, #15742 monthly by momentum on Trending Repos; its best-ever rank is #985.

Trending Repos first recorded it on May 31, 2026.

Rankings

PeriodRankScore
Daily
#111060.0
Weekly
#121910.0
Monthly
#157420.0
How scoring works

Engagement

Total stars
Daily new stars

Similar trending repositories

  • oxcaml/oxcamlOCaml - Oxidized!OCaml934 stars#4036 this week
  • meta/inferA static analyzer for Java, C, C++, and Objective-COCaml15,750 stars#4375 this week
  • melange-re/melangeA mixture of tooling combined to produce JavaScript from OCaml & ReasonOCaml997 stars#4891 this week

Embeds

Best rank #985
EasyCrypt/easycrypt badge
Markdown