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
197 stars
71 watching
11 forks
Language: Coq
last commit: about 4 years ago