clash-lang/clash-compiler

Health v2 · maintenance only

Flags: no_license

Adoption not part of the score

1606 stars · 169 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Clash is a functional hardware description language based on Haskell, with a compiler that transforms high-level descriptions into synthesizable VHDL, Verilog, or SystemVerilog. It offers strong typing, type inference, an interactive REPL, and type-safe multi-clock-domain design for FPGA and ASIC development.

Use cases

• write FPGA designs in Haskell instead of VHDL or Verilog
• compile Haskell-like hardware descriptions to synthesizable VHDL, Verilog, or SystemVerilog
• prototype digital circuits interactively in a REPL without writing test benches
• design synchronous sequential circuits with type-safe clock domain crossing
• build parametric, reusable hardware components using higher-order functions
• implement CPUs and retro-computing devices on FPGAs
• verify hardware designs with strong static typing

When to choose

• you know Haskell and want to do FPGA or ASIC hardware design
• you want strongly typed, high-level hardware descriptions that compile to standard HDLs
• you need rapid prototyping of digital circuits with an interactive REPL
• you want reusable, parametric hardware designs via functional abstractions
• you need type-safe clock domain crossing in multi-clock designs

When to avoid

• your team only knows traditional HDLs like VHDL or Verilog and has no Haskell experience
• you need fine-grained low-level control over every hardware primitive
• your toolchain or vendor flow does not accept generated VHDL/Verilog/SystemVerilog
• you need a large ecosystem of off-the-shelf IP cores written in Clash

Facets

cli-tool · maturity active

compiler programming-language simulation testing hardware embedded-systems programming-languages compilers windows cross-platform haskell hardware-description-language fpga vhdl verilog systemverilog asic synthesizable-hardware functional-programming compiler linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="clash-lang/clash-compiler")