AWS CloudFormation
Infrastructure-as-Code nativa da AWS. Templates JSON/YAML descrevem recursos; o CloudFormation os cria e atualiza como uma "stack". Existe desde 2011, grátis além do custo dos recursos.
Na era pré-Terraform era a única opção na AWS. Concorrentes: Terraform (multi-cloud), Pulumi (linguagem de programação de verdade), AWS CDK (TS/Python/Java que gera CloudFormation). O SAM (Serverless Application Model) é uma macro do CloudFormation para Lambda. Grandes limitações: só funciona na AWS, é lento (10+ minutos para stacks grandes) e o drift detection é fraco. Times AWS modernos usam CDK ou Terraform com mais frequência.