Popular repositories Loading

1. netlist netlist Public

   Forked from ku-fpg/netlist

   Netlist and Verilog Haskell Package

   Haskell 1 1

2. circat circat Public

   Forked from conal/circat

   A categorical framework for circuit construction

   Haskell

3. lambda-ccc lambda-ccc Public

   Forked from conal/lambda-ccc

   Convert lambda expressions to CCC combinators

   Haskell

4. hermit hermit Public

   Forked from ku-fpg/hermit

   Haskell Equational Reasoning Model-to-Implementation Tunnel

   Haskell

5. hermit-extras hermit-extras Public

   Forked from conal/hermit-extras

   Some helpers for GHC Core and HERMIT

   Haskell

6. reflections reflections Public