High-Level Virtual Machine (HLVM) - interesting project for a virtual machine. Written in OCaml.