Perhaps peripheral (the original site has been hugged to death). Both clashlang: https://clash-lang.org/ https://clash-lang.org/ And Hardcaml: https://github.

Perhaps peripheral (the original site has been hugged to death). Both clashlang: https://clash-lang.org/ https://clash-lang.org/ And Hardcaml: https://github.com/janestreet/hardcaml https://github.com/janestreet/hardcaml have personally fueled my interest in hardware. Dan Luu speaks eloquently and at length about how better options are needed for logic design. I would recommend both of the above to the enthusiastic novice.