This tool implements a type-checker (typing/typing.ml), an interpreter (interp/interp.ml) and a compiler (compile/middle_end) targeting VHDL (compile/back_end/target/gen_vhdl.ml), for a simple functional-imperative language (syntax/ast.ml).
The language is used to program reactive embedded applications on FPGA as synchronous programs mixing computations (e.g. algorithms on data structures) and interaction (i.e., reading inputs and producing outputs in a reactive way).
Examples are provided in folder examples.
To build from source, the pre-requisites are:
ocaml(>= 4.11.1) with the following package installedmenhir (version 20220210)
From the root of the source tree:
make