A hardware description language using OCaml effects: A hardware description language using OCaml effects
This is an idea proposed in 2025 as a Cambridge Computer Science Part III or MPhil project, and is available for being worked on. It may be co-supervised with KC Sivaramakrishnan and Andy Ray.
Programming FPGAs using functional programming languages is a very good fit for
the problem domain. OCaml has the HardCaml ecosystem to
express… https://anil.recoil.org/ideas/tracing-hdl-with-effects?utm_source=dlvr.it&utm_medium=mastodon #OCaml #OCamlPlanet
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.