Haskell Systemverilog

Open-source Haskell projects categorized as Systemverilog

Haskell Systemverilog Projects

Systemverilog
  1. clash-ghc

    Haskell to VHDL/Verilog/SystemVerilog compiler

    Project mention: Spade Hardware Description Language | news.ycombinator.com | 2025-05-12

    I thought that this was about the hardware description language Clash developed by some ex-colleagues, but it appeared to be something else. Clash [1] is based on the functional programming language Haskell and it can output to VHDL, Verilog, or SystemVerilog.

    Although the last official release mentioned on the website is from 2021, it is still actively developed on GitHub [2]. See also contranomy [3] for a non-pipelined RV32I RISC-V core written in Clash.

    [1] https://clash-lang.org/

    [2] https://github.com/clash-lang/clash-compiler

    [3] https://github.com/christiaanb/contranomy

  2. Stream

    Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

    Stream logo
  3. sv2v

    SystemVerilog to Verilog conversion

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Haskell Systemverilog discussion

Haskell Systemverilog related posts

  • Verilog functions and wires

    1 project | /r/Verilog | 11 Jun 2023
  • An addressable little explored language gap: HDL - Hardware Description Languages, any language used for electronic circuit design, description, and specs

    5 projects | /r/ProgrammingLanguages | 3 May 2023
  • HDL desugaring

    1 project | /r/FPGA | 12 Aug 2022

Index

# Project Stars
1 clash-ghc 1,565
2 sv2v 686

Sponsored
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.
Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
getstream.io

Did you know that Haskell is
the 27th most popular programming language
based on number of references?