mit-plv/fiat-crypto

Cryptographic Primitive Code Generation by Fiat

Rocq Prover844 stars179 forks

Momentum

mit-plv/fiat-crypto has 844 GitHub stars.

It currently ranks #11738 daily, #12793 weekly, #16275 monthly by momentum on Trending Repos; its best-ever rank is #10974.

Trending Repos first recorded it on Jun 15, 2026.

Rankings

PeriodRankScore

Daily

#117380.0

Weekly

#127930.0

Monthly

#162750.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #10974

Format

Markdown

[![mit-plv/fiat-crypto badge](https://trending-repos.com/badge/mit-plv/fiat-crypto.svg?v=3)](https://trending-repos.com/repositories/mit-plv/fiat-crypto?utm_source=github&utm_medium=badge)