Haxe supports compilation to HashLink bytecode or HashLink/C code. HashLink is a virtual machine designed for Haxe.
12.13.1: Getting started with Haxe/HashLink
12.13.2: HashLink/C Compilation