Owner
clash-lang
16 indexed repositories · View on GitHub
-
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
Haskell · 1613 stars
-
ghc-typelits-natnormalise
Normalise GHC.TypeLits.Nat equations
Haskell · 45 stars
-
clash-protocols
a battery-included library for dataflow protocols
Haskell · 25 stars
-
ghc-typelits-extra
Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Haskell · 18 stars
-
ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
Haskell · 14 stars
-
ghc-tcplugins-extra
Utilities for writing GHC type-checker plugins
Haskell · 10 stars
-
Haskell · 9 stars
-
Haskell · 9 stars
-
stack-templates
Templates for `stack new` command
Haskell · 5 stars
-
ghc-typelits-proof-assist
This work has been supported in part by funding from the Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur).
Haskell · 4 stars
-
Haskell · 2 stars
-
clash-crypto
This work has been supported in part by funding from the Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur).
Haskell · 2 stars
-
Haskell · 1 star
-
JavaScript · 1 star
-
Haskell · 0 stars
-
CSS · 0 stars
-
GHC 9.7 Error Open
clash-lang/ghc-tcplugins-extra#25 · 0 comments · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-extra#15 · 1 comment · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-extra#24 · 1 comment · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-extra#35 · 10 comments · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-extra#37 · 2 comments · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-extra#41 · 1 comment · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-extra#42 · 3 comments · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-extra#44 · 1 comment · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-extra#56 · 1 comment · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-extra#59 · 0 comments · 0 reactions · 0 assignees ·
-
bug
clash-lang/checked-literals#11 · 1 comment · 1 reaction · 0 assignees ·
-
clash-lang/checked-literals#19 · 1 comment · 0 reactions · 0 assignees ·
-
clash-lang/checked-literals#20 · 3 comments · 0 reactions · 0 assignees ·
-
enhancement
clash-lang/clash-vexriscv#16 · 0 comments · 0 reactions · 0 assignees ·
-
bug
clash-lang/clash-vexriscv#37 · 0 comments · 0 reactions · 0 assignees ·
-
bug good first issue
clash-lang/clash-vexriscv#38 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
clash-lang/clash-vexriscv#40 · 0 comments · 0 reactions · 0 assignees ·
-
bug
clash-lang/clash-vexriscv#55 · 0 comments · 0 reactions · 0 assignees ·
-
clash-lang/clash-prelude-falsify#1 · 0 comments · 0 reactions · 0 assignees ·
-
clash-lang/clash-prelude-falsify#2 · 0 comments · 0 reactions · 1 assignee ·
-
clash-lang/clash-prelude-falsify#3 · 0 comments · 0 reactions · 1 assignee ·
-
clash-lang/clash-prelude-falsify#4 · 0 comments · 0 reactions · 0 assignees ·
-
clash-lang/clash-prelude-falsify#5 · 0 comments · 0 reactions · 1 assignee ·
-
clash-lang/clash-prelude-falsify#6 · 0 comments · 0 reactions · 0 assignees ·
-
clash-lang/clash-prelude-falsify#7 · 0 comments · 0 reactions · 1 assignee ·
-
clash-lang/clash-prelude-falsify#8 · 0 comments · 0 reactions · 1 assignee ·
-
clash-lang/clash-prelude-falsify#9 · 0 comments · 0 reactions · 1 assignee ·
-
wontfix
clash-lang/ghc-typelits-knownnat#12 · 3 comments · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-knownnat#21 · 2 comments · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-knownnat#56 · 1 comment · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-knownnat#59 · 0 comments · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-knownnat#65 · 2 comments · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-knownnat#68 · 9 comments · 0 reactions · 0 assignees ·
-
enhancement
clash-lang/ghc-typelits-proof-assist#3 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
clash-lang/ghc-typelits-proof-assist#19 · 0 comments · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-natnormalise#33 · 4 comments · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-natnormalise#58 · 1 comment · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-natnormalise#59 · 3 comments · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-natnormalise#65 · 2 comments · 1 reaction · 2 assignees ·
-
clash-lang/ghc-typelits-natnormalise#68 · 2 comments · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-natnormalise#73 · 1 comment · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-natnormalise#75 · 6 comments · 0 reactions · 0 assignees ·
-
bug
clash-lang/ghc-typelits-natnormalise#76 · 2 comments · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-natnormalise#84 · 2 comments · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-natnormalise#107 · 4 comments · 0 reactions · 0 assignees ·
-
Static build Open
clash-lang/ghc-typelits-natnormalise#130 · 1 comment · 1 reaction · 0 assignees ·
-
clash-lang/ghc-typelits-natnormalise#132 · 1 comment · 1 reaction · 3 assignees ·
-
clash-lang/ghc-typelits-natnormalise#139 · 0 comments · 0 reactions · 0 assignees ·
-
clash-lang/ghc-typelits-natnormalise#141 · 1 comment · 0 reactions · 0 assignees ·
-
enhancement
clash-lang/clash-protocols#7 · 0 comments · 0 reactions · 0 assignees ·