SaaSHub helps you find the best software and product alternatives Learn more →
Top 17 Haskell Hardware Projects
-
I've never done verilog professionally but I did "Digital Design and Computer Architecture, RISC-V Edition: RISC-V Edition" as an exercise 2 years ago.
I would say Verilog is very much NOT a low level language.
Metaphorically, it feels closer to SQL to me. I mean this in that you theoretically tell the system what it should do, and it builds it into the messy real world. However, the reality is that the planner (sql) or linker/placer/router/whatever (verilog) are very good, but you often end up needing to actually fully understand the problem anyway when things don't work in the abstract.
I know there is https://clash-lang.org/ for Verilog design, which sounds a little like what you are talking about (never really looked at it myself).
-
AppSignal
AppSignal knows why the f*#k it crashed. Stop vibe-debugging. Every exception, every backtrace, grouped so you see patterns, not noise.
-
verismith
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
-
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
-
-
-
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Haskell Hardware discussion
Haskell Hardware related posts
-
C Is Not a Low-Level Language (2018)
-
Spade Hardware Description Language
-
XiangShan – open-source high performance RISC-V processor
-
Clash: A Functional Hardware Description Language
-
Clash (Haskell) for ASIC design
-
Building a Networked Key-Value-Store on an FPGA
-
Need project idea
-
A note from our sponsor - SaaSHub
www.saashub.com | 6 Oct 2026
Index
What are some of the best open-source Hardware projects in Haskell? This list will help you:
| # | Project | Stars |
|---|---|---|
| 1 | clash-ghc | 1,619 |
| 2 | verismith | 122 |
| 3 | hArduino | 74 |
| 4 | kansas-lava | 49 |
| 5 | Violet | 35 |
| 6 | usb | 28 |
| 7 | wiringPi | 16 |
| 8 | HueAPI | 15 |
| 9 | kansas-lava-cores | 7 |
| 10 | clash-prelude-quickcheck | 6 |
| 11 | sump | 5 |
| 12 | usb-id-database | 5 |
| 13 | kansas-lava-papilio | 2 |
| 14 | usb-iteratee | 2 |
| 15 | pi-lcd | 2 |
| 16 | streamdeck | 1 |
| 17 | clash-calculator | 1 |