BêtaRare
mit-plv/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
- Propriétaire
- mit-plv (organisation)
- Étoiles
- Étoiles : 851
- Forks
- Forks : 181
- Langage
- Rocq Prover
- Licence
- Aucune
- Création
- 2015
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de mit-plv
Les 7 dépôts de mit-plv- mit-plv/bedrock2Étoiles : 340Rocq ProverAlpha
- mit-plv/koikaÉtoiles : 191Rocq ProverPrototype
- mit-plv/riscv-semanticsÉtoiles : 180HaskellPrototype
- mit-plv/kamiÉtoiles : 173Rocq ProverPrototype
- mit-plv/fiatÉtoiles : 157Rocq ProverPrototype
- mit-plv/riscv-coqÉtoiles : 122Rocq ProverPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- HoTT/Coq-HoTTÉtoiles : 1 407Rocq ProverBêta
- formal-land/rocq-of-rustÉtoiles : 1 192Rocq ProverBêta
- UniMath/UniMathÉtoiles : 1 022Rocq ProverBêta
- magmide/magmideÉtoiles : 841Rocq ProverBêta
- jwiegley/category-theoryÉtoiles : 819Rocq ProverBêta
- achlipala/frapÉtoiles : 737Rocq ProverBêta