We had to move to Pulumi from CDK. CDK's reliance on Cloudformation makes it unusable because CF is not a production ready service - it is extremely slow and its failure modes are absurd.
Pulumi does less "magic" than CDK, though they're working on higher level constructs, but ultimately it's just the better technology.