This is stars and forks stats for /sifive/Kami repository. As of 29 Apr, 2024 this repository has 189 stars and 12 forks.
Kami — A Coq-based DSL for specifying and proving hardware designs Table of Contents What is Kami? Semantics of Kami: an informal overview Syntax of Kami Proving implementations using Kami What is Kami? Kami is an umbrella term used to denote the following: . A Coq-based DSL for writing hardware designs . A compiler for translating said hardware designs into Verilog . A simulator for said hardware designs, by generating an executable in Haskell, using user-defined functions to drive inputs and examine outputs...
Kami — A Coq-based DSL for specifying and proving hardware designs Table of Contents What is Kami? Semantics of Kami: an informal overview Syntax of Kami Proving implementations using Kami What is Kami? Kami is an umbrella term used to denote the following: . A Coq-based DSL for writing hardware designs . A compiler for translating said hardware designs into Verilog . A simulator for said hardware designs, by generating an executable in Haskell, using user-defined functions to drive inputs and examine outputs...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| sifive/FpuKami | CoqMakefile | 7 | 0 | 3 | 0 |
| sifive/StdLibKami | CoqMakefile | 5 | 0 | 4 | 0 |
| project-violet/violet | DartCC++ | 333 | 0 | 34 | 0 |
| fitzgen/boffo | ErlangJavaScriptOther | 2 | 0 | 1 | 0 |
| evmos/evmos | GoPythonSolidity | 1.5k | 0 | 735 | 0 |
| prometheus/blackbox_exporter | GoOther | 3.9k | 0 | 978 | 0 |
| Gabriella439/defaultable-map | Haskell | 15 | 0 | 1 | 0 |
| sifive/RiscvSpecFormal | HaskellShellC++ | 72 | 0 | 7 | 0 |
| AidanDelaney/Mira | Haskell | 4 | 0 | 3 | 0 |
| digital-asset/ghc | HaskellCMakefile | 9 | 0 | 4 | 0 |