mit-plv/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
845
Stars
179
Forks
58.4
Radar Score
Rising
Momentum
Scoring Breakdown
Impact70.5
Velocity46.7
Health55.5
Growth Metrics
7-Day Stars
+0
30-Day Stars
+0
Acceleration
x
Language
Rocq Prover
Why it ranks
Steady growth — consistently collecting stars and contributors.
AI Coding Tools · code reviewTop 26% globally