I generally use AWS for all of my infrastructure needs but I hate messing with CloudFormation. CDK was nice but was also a bit cumbersome to get right. SST is CDK but on steroids. They make it super easy to create the primitives you need to GSD, without worrying that much about the specifics. And if you ever need to get in the weeds, you can create your own CDK constructs to do so.
