OCaml Forge

hlvm

The high-level virtual machine (HLVM) executes programs written in a high-level expression-based typed intermediate representation.