[shepherdjerred]

You can use CDK with other providers using https://github.com/hashicorp/terraform-cdk

In my experience, CDK is far better than Pulumi, especially if you're mostly going to be using AWS.