Voozh

VOOZH

URL: https://github.com/clash-lang

⇱ clash-lang · GitHub

Popular repositories Loading

clash-compiler Public

Haskell to VHDL/Verilog/SystemVerilog compiler

Haskell 1.6k 166
ghc-typelits-natnormalise Public

Normalise GHC.TypeLits.Nat equations

Haskell 44 17
clash-starters Public

Projects to get started with Clash

Haskell 32 5
clash-prelude Public archive

CLaSH prelude library containing datatypes and functions for circuit design

Haskell 31 27
clash-protocols Public

a battery-included library for dataflow protocols

Haskell 24 12
ghc-typelits-extra Public

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

Haskell 18 9

Repositories

Showing 10 of 26 repositories

checked-literals Public

Haskell 1 BSD-2-Clause 1 0 1 Updated
clash-lang.org Public

JavaScript 1 MIT 6 4 10 Updated
clash-compiler Public
Haskell to VHDL/Verilog/SystemVerilog compiler

Haskell 1,590 166 381 29 Updated
clash-shockwaves Public

Haskell 2 2 16 1 Updated
clash-starters Public
Projects to get started with Clash

Haskell 32 CC0-1.0 5 0 0 Updated
stack-templates Public
Templates for `stack new` command

Haskell 5 CC0-1.0 1 5 0 Updated
clash-cores Public

Haskell 7 5 10 9 Updated
clash-protocols Public
a battery-included library for dataflow protocols

Haskell 24 12 33 16 Updated
ghc-typelits-knownnat Public
Derive KnownNat constraints from other KnownNat constraints

Haskell 14 12 6 1 Updated
ghc-typelits-extra Public
Extra type-level operations on GHC.TypeLits.Nat and a custom solver

Haskell 18 9 9 2 Updated

View all repositories

People

👁 @christiaanb
👁 @leonschoorl
👁 @DigitalBrains1
👁 @martijnbastiaan
👁 @rowanG077
👁 @lmbollen
👁 @kleinreact

You can’t perform that action at this time.