PrototypeCommune
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
- Propriétaire
- sifive (organisation)
- Étoiles
- Étoiles : 232
- Forks
- Forks : 13
- Langage
- Coq
- Licence
- Apache-2.0
- Création
- 2018
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de sifive
Les 8 dépôts de sifive- sifive/freedomÉtoiles : 1 148ScalaBêta
- sifive/freedom-e-sdkÉtoiles : 583CAlpha
- sifive/freedom-toolsÉtoiles : 218MakefilePrototype
- sifive/sifive-blocksÉtoiles : 194ScalaPrototype
- sifive/freedom-metalÉtoiles : 163CPrototype
- sifive/fpga-shellsÉtoiles : 139ScalaPrototype
D’autres dépôts Coq
Tous les dépôts Coq- mit-pdos/fscqÉtoiles : 252CoqAlpha
- hacspec/hacspecÉtoiles : 250CoqAlpha
- UniMath/FoundationsÉtoiles : 247CoqPrototype
- jscert/jscertÉtoiles : 208CoqPrototype
- barry-jay-personal/tree-calculusÉtoiles : 206CoqPrototype
- uwplse/verdi-raftÉtoiles : 204CoqPrototype