An open-source virtual machine designed for executing programs written in Hack and PHP