clash-lang

Popular repositories Loading

1. clash-compiler Public

   Haskell to VHDL/Verilog/SystemVerilog compiler

   Haskell 1.1k 112

2. ghc-typelits-natnormalise Public

   Normalise GHC.TypeLits.Nat equations

   Haskell 32 10

3. clash-prelude Public archive

   CLaSH prelude library containing datatypes and functions for circuit design

   Haskell 30 27

4. ghc-typelits-extra Public

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

   Haskell 15 8

5. ghc-typelits-knownnat Public

   Derive KnownNat constraints from other KnownNat constraints

   Haskell 12 8

6. clash-starters Public

   Projects to get started with Clash

   Haskell 12 1