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