Hacker GitHub

← All repos

janestreet/hardcaml

View on GitHub ↗ ★ 1,164 OCaml

Hardcaml is an OCaml library for designing hardware.

9 mentions on Hacker News by 9 people: 1 story, 8 comments · first 2018-09-30 · latest 2025-05-12

Mentions per year 9 mentions · busiest year 2022 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …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...
    comment by polalavik · 2025-05-12 · in Spade Hardware Description Language
  2. …but one example of an alternate HDL is HardCaml, which is used by JaneStreet for FPGA designs: https://github.com/janestreet/hardcaml
    comment by wespiard · 2025-01-25 · in A FPGA friendly 32 bit RISC-V CPU implementation
  3. …Argument of Knowledge MSM: Multi-Scalar Multiplication Hardcaml: OCaml lib for hardware: https://github.com/janestreet/hardcaml NTT: Number Theoretic Transform
    comment by drewcoo · 2022-12-28 · in Accelerating zk-SNARKs - MSM and NTT algorithms on FPGAs with Hardcaml
  4. …generating fpga code from ocaml? Yes, they have built a library called Hardcaml to design FPGAs: https://github.com/janestreet/hardcaml
    comment by nequo · 2022-12-18 · in Ask HN: What Is OCaml Used For?
  5. …(the original site has been hugged to death). Both clashlang: https://clash-lang.org/ And Hardcaml: https://github.com/janestreet/hardcaml have personally fueled my interest in hardware. Dan Luu speaks eloquently and at length about how…
    comment by benreesman · 2022-12-15 · in A circuit simulator that doesn't look like it was made in 2003
  6. …a bit vector, and the Always API allows for some pretty interesting non-trivial functional logic. https://github.com/janestreet/hardcaml/blob/master/docs/hard... https://github.com/janestreet/hardcaml/blob/master/docs/enum...…
    comment by ceramichacker · 2021-11-08 · in Designing a MIPS CPU in Hardcaml
  7. …[2] https://www.chisel-lang.org/ [3] https://www.chisel-lang.org/firrtl/ [4] https://github.com/janestreet/hardcaml [5] https://spatial-lang.org/ [6] https://github.com/drom/awesome-hdl
    comment by xvilka · 2019-11-26 · in Unleashing Open-Source Silicon
  8. Github: https://github.com/janestreet/hardcaml And Andy Ray and co's stuff: Blogs: http://www.ujamjar.com/ Getting started overview and tutorials: http://www.ujamjar.com/hardcaml/ Running OCAML Bytecode in hardware:…
    comment by ptrott2017 · 2018-09-30 · in OCaml All the Way Down – How Jane Street Builds FPGA Designs [video]