PrototypeCommon
mit-plv/riscv-coq
RISC-V Specification in Coq
- Owner
- mit-plv (organization)
- Stars
- Stars: 123
- Forks
- Forks: 20
- Language
- Rocq Prover
- License
- BSD-3-Clause
- Created
- 2018
- 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/kamiStars: 173Rocq ProverPrototype
- mit-plv/fiatStars: 157Rocq ProverPrototype
Nearby in Rocq Prover
All Rocq Prover repos- AU-COBRA/ConCertStars: 129Rocq ProverPrototype
- uds-psl/MPCTTStars: 129Rocq ProverPrototype
- WasmCert/WasmCert-CoqStars: 128Rocq ProverPrototype
- UniMath/TypeTheoryStars: 122Rocq ProverPrototype
- rocq-community/cornStars: 117Rocq ProverPrototype
- SkyLabsAI/BRiCkStars: 111Rocq ProverPrototype