RSNikhil4d ago

Heads-up: Mon Apr 13 (one week away): "FP Launchpad" kickoff-event at IIT Madras

FP Launchpad is a new research center at IITM focusing on all aspects of functional programming.

Schedule of talks, abstracts: https://fplaunchpad.org/2026/03/30/fp-launchpad-kickoff.html

#OCaml #OxCaml #Haskell #FormalMethods #HardCaml #Bluespec

FP Launchpad Kickoff

Centre for Functional Systems Research and Education at IIT Madras

FP Launchpad
amen zwa, esq.Jul 30, 2025

#HardCamlβ€”an #OCaml HDL library, from #JaneStreet

https://github.com/janestreet/hardcaml

GitHub - janestreet/hardcaml: Hardcaml is an OCaml library for designing hardware.

Hardcaml is an OCaml library for designing hardware. - janestreet/hardcaml

GitHub
clacke: exhausted pixie dream boy πŸ‡ΈπŸ‡ͺπŸ‡­πŸ‡°πŸ’™πŸ’›Dec 27, 2022
github.com/janestreet/hardcaml

"""
Hardcaml is an OCaml library for designing and testing hardware designs.

- Express hardware designs in OCaml
- Make generic designs using higher order functions, lists, maps, functors...
- Simulate designs in OCaml
- Convert to (hierarchical) Verilog or VHDL
- Write new modules to transform or analyse circuits, or provide new backends
"""

/via blog.janestreet.com/zero-knowl…
/via lobste.rs/s/an7ptk
/via botsin.space/@lobsters/1095807…

#HardCaml
GitHub - janestreet/hardcaml: Hardcaml is an OCaml library for designing hardware.

Hardcaml is an OCaml library for designing hardware. - janestreet/hardcaml

GitHub