clash-lang/ghc-typelits-extra
Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Discovered public repositories for clash-lang in the GitHub catalog.
Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Normalise GHC.TypeLits.Nat equations
The CLaSH website
CLaSH prelude library containing datatypes and functions for circuit design
Haskell to VHDL/Verilog/SystemVerilog compiler