It's our own setup, similar in its external-facing product, but implemented a bit differently on the backend than other PaaSes like Heroku, Flynn or Deis. Specifically, we support many isolated-tenancy stacks behind a common central platform interface.

Other than Docker and AWS, there are a bunch of pieces that make the whole thing work, but most of them are custom.