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