clash-lang

Repositories

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

haskell asic fpga vhdl verilog systemverilog hardware-description-language

Haskell 92 881 143 11 Updated Aug 7, 2020

ghc-typelits-knownnat

Derive KnownNat constraints from other KnownNat constraints

Haskell 8 13 3 0 Updated Jul 25, 2020

ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver

Haskell 7 8 3 2 Updated Jul 23, 2020

clash-lang.org

JavaScript MIT 0 1 2 1 Updated Jul 16, 2020

clash-benchmark-results

Repository for storing Clash benchmark results

0 0 0 0 Updated Jul 13, 2020

ghc-typelits-natnormalise

Normalise GHC.TypeLits.Nat equations

Haskell 9 31 2 2 Updated Apr 8, 2020

ghc-tcplugins-extra

Utilities for writing GHC type-checker plugins

Haskell 5 9 0 0 Updated Jan 31, 2020

ghc-typelits-appendsymbol

Haskell BSD-2-Clause 0 1 0 0 Updated Jun 30, 2019

clash-cosim Archived

C BSD-2-Clause 2 2 0 0 Updated Jun 27, 2019

clash-lang.github.io Archived

The CLaSH website

CSS MIT 3 2 4 0 Updated Jun 11, 2019

clash-prelude Archived

CLaSH prelude library containing datatypes and functions for circuit design

Haskell 26 31 23 3 Updated Sep 6, 2018