25 Repositories
clash-compiler
1585
ghc-typelits-natnormalise
43
clash-starters
32
clash-prelude
31
clash-protocols
24
ghc-typelits-extra
18
ghc-typelits-knownnat
14
ghc-tcplugins-extra
10
clash-cores
7
stack-templates
5
ghc-typelits-proof-assist
2
clash-lang.github.io
2
clash-cosim
2
ghc-typelits-sopsat
1
ghc-typelits-appendsymbol
1
clash-vexriscv
1
clash-simulation-benchmarks
1
clash-lang.org
1
clash-crypto
1
sop-satisfier
0
FloPoCoFloat
0
docs.clash-lang.org
0
clash-shockwaves
0
clash-formal.org
0
clash-benchmark-results
0