Puppet Enterprise - Get started with Puppet Enterprise, or upgrade or expand.
Terraform - Tool for building, changing, and versioning infrastructure safely and efficiently.
Packer - Packer is an open-source software for creating identical machine images from a single source configuration.
Red Hat OpenShift - Application and Data, Application Hosting, and Platform as a Service
Rancher - Open Source Platform for Running a Private Container Service
HHVM - HHVM is an open-source virtual machine designed for executing programs written in Hack and PHP.