clash-lang/ghc-typelits-natnormalise
Normalise GHC.TypeLits.Nat equations
Haskell to VHDL/Verilog/SystemVerilog compiler
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Normalise GHC.TypeLits.Nat equations
The CLaSH website
CLaSH prelude library containing datatypes and functions for circuit design