A hardware description language using OCaml effects
Anil Madhavapeddy · 2025
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.