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
project-everest/mitls-fstar avatar

project-everest/mitls-fstar

GitHub

Verified implementation of TLS 1.3 in F*

F*183 stars18 forks

Momentum

project-everest/mitls-fstar has 183 GitHub stars.

It currently ranks #12025 daily, #13066 weekly, #16513 monthly by momentum on Trending Repos; its best-ever rank is #3966.

Rankings

PeriodRankScore
Daily
#120250.0
Weekly
#130660.0
Monthly
#165130.0
How scoring works

Engagement

Total stars
Daily new stars

Similar trending repositories

  • FStarLang/FStarA Proof-oriented Programming LanguageF*3,142 stars#4035 this week

Embeds

Best rank #3966
project-everest/mitls-fstar badge
Markdown