Pulumi
IaC com linguagens de programação de verdade — Joe Duffy (ex-Microsoft Midori), 2017. Defina recursos AWS/Azure/GCP em TypeScript, Python, Go, C# ou Java em vez de HCL/YAML.
Usa internamente os providers do Terraform (os mesmos tipos de recurso), então a paridade de funcionalidades é alta. Gerenciamento de estado próprio (nível gratuito do Pulumi Service ou backends auto-hospedados). Os programas são funções que retornam recursos; laços, condicionais e abstrações vêm naturalmente.
Concorrentes: Terraform (HCL, mais popular), CDK (abstração só para AWS sobre o CloudFormation) e Crossplane (nativo de K8s). O Pulumi leva vantagem quando a equipe quer tipos, laços e testes na sua IaC.