GitHub repository: ramsey/vagrant-php-src-dev
Primary language: Puppet
Description: Uses Vagrant to provision a basic virtual environment for hacking on the PHP core.