PrototypeCommon
mit-plv/kami
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
- Owner
- mit-plv (organization)
- Stars
- Stars: 173
- Forks
- Forks: 31
- Language
- Rocq Prover
- License
- MIT
- Created
- 2017
- Topics
- coqhardware-verificationbluespecproof-assistanthardware-description-language
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by mit-plv
All 7 repos by mit-plv- mit-plv/fiat-cryptoStars: 851Rocq ProverBeta
- mit-plv/bedrock2Stars: 340Rocq ProverAlpha
- mit-plv/koikaStars: 191Rocq ProverPrototype
- mit-plv/riscv-semanticsStars: 180HaskellPrototype
- mit-plv/fiatStars: 157Rocq ProverPrototype
- mit-plv/riscv-coqStars: 123Rocq ProverPrototype
Nearby in Rocq Prover
All Rocq Prover repos- mit-plv/koikaStars: 191Rocq ProverPrototype
- theorem-labs/oss-verify-proofsStars: 189Rocq ProverPrototype
- CertiRocq/certirocqStars: 183Rocq ProverPrototype
- rocq-community/math-classesStars: 169Rocq ProverPrototype
- mit-plv/fiatStars: 157Rocq ProverPrototype
- uds-psl/coq-library-undecidabilityStars: 145Rocq ProverPrototype