PuPHPet
August 13, 2013  Written By Marco Monteiro
                PuPHPet is a simple GUI to set up virtual machines for PHP development.
This is a gui configurator for the Vagrant automation tool. It uses Puppet as the provisioning backend. This is similar to another tool that recently came out, Rove.io, although that one is more focused on using Vagrant with Chef, and has different configuration options.