You're probably looking for the community fork of Puppet. That now lives at https://github.com/openvoxproject