Juan Treminio passed along a note about his GUI-based virtual machine builder PuPHPet and some recent advancements in what it supports.
PuPHPet just added support for HHVM via FastCGI for Apache/Nginx and needs your help to create a VM and report any bugs encountered to make the experience as smooth as possible.
PuPHPet makes creating Vagrant/Puppet configurations much simpler and does a lot of the hard work for you. The project is also open sourced on GitHub so you can always add support for anything you might not see.