AlphaPeu commune
mit-plv/bedrock2
A work-in-progress language and compiler for verified low-level programming
- Propriétaire
- mit-plv (organisation)
- Étoiles
- Étoiles : 340
- Forks
- Forks : 56
- Langage
- Rocq Prover
- Licence
- MIT
- Création
- 2018
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de mit-plv
Les 7 dépôts de mit-plv- mit-plv/fiat-cryptoÉtoiles : 851Rocq ProverBêta
- 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- rocq-prover/vsrocqÉtoiles : 464Rocq ProverAlpha
- jasmin-lang/jasminÉtoiles : 389Rocq ProverAlpha
- ccz181078/Coq-BB5Étoiles : 377Rocq ProverAlpha
- stepchowfun/proofsÉtoiles : 316Rocq ProverAlpha
- QuickChick/QuickChickÉtoiles : 296Rocq ProverAlpha
- DeepSpec/InteractionTreesÉtoiles : 261Rocq ProverAlpha