clash-lang's repositories
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
ghc-typelits-natnormalise
Normalise GHC.TypeLits.Nat equations
clash-prelude
CLaSH prelude library containing datatypes and functions for circuit design
clash-starters
Projects to get started with Clash
clash-protocols
a battery-included library for dataflow protocols
ghc-typelits-extra
Extra type-level operations on GHC.TypeLits.Nat and a custom solver
ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
ghc-tcplugins-extra
Utilities for writing GHC type-checker plugins
stack-templates
Templates for `stack new` command
clash-lang.github.io
The CLaSH website
clash-benchmark-results
Repository for storing Clash benchmark results