22 Repositories
clash-compiler
1479
ghc-typelits-natnormalise
43
clash-prelude
31
clash-starters
27
clash-protocols
21
ghc-typelits-extra
17
ghc-typelits-knownnat
14
ghc-tcplugins-extra
10
clash-cores
5
stack-templates
3
clash-lang.github.io
2
clash-cosim
2
ghc-typelits-sopsat
1
ghc-typelits-proof-assist
1
ghc-typelits-appendsymbol
1
clash-vexriscv
1
clash-simulation-benchmarks
1
clash-lang.org
1
sop-satisfier
0
FloPoCoFloat
0
clash-formal.org
0
clash-benchmark-results
0