mit-plv/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
851
Stars
181
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
Popular Alternatives & Competitors
Top projects in the same category (AI Coding Tools) — compare side by side.
🛡️ Enterprise Readiness & Commercial Safety
Organic Growth
99%
High Confidence
License
NOASSERTION
Review license terms carefully before commercial adoption.
Health Grade
A
Based on maintenance, issue response, and release cadence.
Radar Score
58.4
Composite of Impact, Velocity, and Health.
Disclaimer: This is an automated heuristic assessment based on public GitHub signals. Always perform your own security audit, dependency review, and legal compliance check before production deployment.
Share & Embed
Display live Radar metrics in your documentation, website, or social profiles.