Well I think cloud providers look at software offerings differently. To them, software is a managed distributed system that works at scale and probably doesn't make very much sense if there's only a single user. It's hard for a managed service like that to be distributed as a single codebase or binary in the way that redis can. But they still pump out technologies that have high dev adoption.

Things like Lambda, S3, Kinesis have become huge in the dev world in one form or another - Lambda as the serverless concept, S3 as the standard API interface, Kinesis as Kafka (not implying causation or copying, just that AWS independently developed a technology very similar to something that became huge in the dev world).

Not too sure about Microsoft.

Google has invented so many technologies that have shaped development that it would be exhausting to list. MapReduce, AngularJS, Kubernetes and TensorFlow each transformed the development world and that's just the tip of the iceberg.