BetaRare
mit-plv/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
- Owner
- mit-plv (organization)
- Stars
- Stars: 851
- Forks
- Forks: 181
- Language
- Rocq Prover
- License
- None
- Created
- 2015
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by mit-plv
All 7 repos by mit-plv- mit-plv/bedrock2Stars: 340Rocq ProverAlpha
- mit-plv/koikaStars: 191Rocq ProverPrototype
- mit-plv/riscv-semanticsStars: 180HaskellPrototype
- mit-plv/kamiStars: 173Rocq ProverPrototype
- mit-plv/fiatStars: 157Rocq ProverPrototype
- mit-plv/riscv-coqStars: 123Rocq ProverPrototype
Nearby in Rocq Prover
All Rocq Prover repos- HoTT/Coq-HoTTStars: 1,407Rocq ProverBeta
- formal-land/rocq-of-rustStars: 1,193Rocq ProverBeta
- UniMath/UniMathStars: 1,022Rocq ProverBeta
- magmide/magmideStars: 841Rocq ProverBeta
- jwiegley/category-theoryStars: 819Rocq ProverBeta
- achlipala/frapStars: 737Rocq ProverBeta