Pinned Loading

1. kframework/c-semantics kframework/c-semantics Public

   Semantics of C in K

   C 306 40

2. rewire-hardware/ReWire rewire-hardware/ReWire Public

   A Haskell to HDL (Verilog/VHDL) Compiler

   Haskell 24 5

3. cuda-semantics cuda-semantics Public

   Semantics for CUDA-C in K.

   OCaml 13 4

4. cmachine cmachine Public

   A simple virtual machine for the stack machine language described in ch. 2 of Wilhelm and Seidl's "Compiler Design."

   Haskell 1

5. kframework/k-legacy kframework/k-legacy Public archive

   The K tools (deprecated, see README)

   Java 146 61

6. Copilot-Language/copilot-theorem Copilot-Language/copilot-theorem Public archive

   Forked from jonathan-laurent/copilot-kind

   (DEPRECATED) A library for using model-checking techiques with Copilot programs

   Haskell 6 1