Spade Hardware Description Language

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  1. clash-ghc

    Haskell to VHDL/Verilog/SystemVerilog compiler

    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. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. contranomy

    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

  4. hardcaml

    Hardcaml is an OCaml library for designing hardware.

    Sorry hardcaml and amaranth were my examples of things with baked in sim features.

    Also great work with spade. I love to hate, but the hardware industry needs folks like you pushing it forward. I just fear most people are making toys or focusing a ton of effort on the wrong issues (how to write HDL in a different way) instead of solving industry issues like verification, wrangling hand written modules with enormous I/O, stitching IP together, targeting real FPGAs, auto generating memory maps, etc. some of that is a tough solve because it’s proprietary.

    [1] https://github.com/janestreet/hardcaml/blob/master/docs/wave...

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Clash: A Functional Hardware Description Language

    2 projects | news.ycombinator.com | 27 Dec 2023
  • Clash (Haskell) for ASIC design

    1 project | /r/chipdesign | 7 Oct 2023
  • Building a Networked Key-Value-Store on an FPGA

    1 project | news.ycombinator.com | 19 Jun 2023
  • Ask HN: Choice of HDL for an FPGA Project

    1 project | news.ycombinator.com | 8 Feb 2023
  • Baud rate 1.5% lower than expected, is this normal?

    1 project | /r/FPGA | 19 Dec 2022

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