PrototypeCommon
mit-plv/riscv-semantics
A formal semantics of the RISC-V ISA in Haskell
- Owner
- mit-plv (organization)
- Stars
- Stars: 180
- Forks
- Forks: 24
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2017
- 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/kamiStars: 173Rocq ProverPrototype
- mit-plv/fiatStars: 157Rocq ProverPrototype
- mit-plv/riscv-coqStars: 122Rocq ProverPrototype
Nearby in Haskell
All Haskell repos- facebookarchive/lex-passStars: 180HaskellPrototype
- Eelis/geordiStars: 180HaskellPrototype
- flannelhead/blackstarStars: 180HaskellPrototype
- tree-sitter/haskell-tree-sitterStars: 179HaskellPrototype