If your are looking for open source games. I think you should definitely checkout the Python Games repository.
This below repository has a good collection.
Although it is not Open Source since it has Apache License.
The full featured cloud provider you haven't listed there is Digital Ocean.
Digital Ocean has the concept of 'Droplets' which is basically the same thing as EC2 instances.
The alternative is that you could go for more conventional 'Just give me static box', AKA a Virtual Private Server (VPS) type solutions, (eg. GoDaddy hosting, these were what was ...