PrototypeCommon
sifive/Kami
Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT
- Owner
- sifive (organization)
- Stars
- Stars: 232
- Forks
- Forks: 13
- Language
- Coq
- License
- Apache-2.0
- Created
- 2018
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by sifive
All 8 repos by sifive- sifive/freedomStars: 1,148ScalaBeta
- sifive/freedom-e-sdkStars: 583CAlpha
- sifive/freedom-toolsStars: 218MakefilePrototype
- sifive/sifive-blocksStars: 194ScalaPrototype
- sifive/freedom-metalStars: 163CPrototype
- sifive/fpga-shellsStars: 139ScalaPrototype
Nearby in Coq
All Coq repos- mit-pdos/fscqStars: 252CoqAlpha
- hacspec/hacspecStars: 250CoqAlpha
- UniMath/FoundationsStars: 247CoqPrototype
- jscert/jscertStars: 208CoqPrototype
- barry-jay-personal/tree-calculusStars: 206CoqPrototype
- uwplse/verdi-raftStars: 204CoqPrototype