PrototypeCommune
mit-plv/koika
A core language for rule-based hardware design 🦑
- Propriétaire
- mit-plv (organisation)
- Étoiles
- Étoiles : 191
- Forks
- Forks : 22
- Langage
- Rocq Prover
- Licence
- LGPL-2.1
- Création
- 2020
- Sujets
- coqprogramming-languagesformal-methodssemanticshardware-description-languagecompilation
- Rang
- Prototype (100 à 249 ★) 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/bedrock2Étoiles : 340Rocq ProverAlpha
- 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/equationsÉtoiles : 238Rocq ProverPrototype
- GeoCoq/GeoCoqÉtoiles : 210Rocq ProverPrototype
- plclub/sf-in-leanÉtoiles : 199Rocq ProverPrototype
- theorem-labs/oss-verify-proofsÉtoiles : 189Rocq ProverPrototype
- CertiRocq/certirocqÉtoiles : 183Rocq ProverPrototype
- mit-plv/kamiÉtoiles : 173Rocq ProverPrototype