High-Level Virtual Machine (HLVM) - interessantes Projekt für eine virtuelle Maschine. In OCaml geschrieben.