A virtual machine designed for executing programs written in Hack and PHP.