Pulumi
本物のプログラミング言語で書くIaC。2017年にJoe Duffy（元Microsoft Midori）が公開し、HCLやYAMLの代わりにTypeScript、Python、Go、C#、JavaでAWS/Azure/GCPのリソースを定義できる。
内部ではTerraformのプロバイダーを利用しており、リソースの種類が同じなので機能面の差は小さい。状態管理は独自方式で、Pulumi Serviceの無料枠かセルフホスト型のバックエンドを選べる。プログラムはリソースを返す関数なので、ループ、条件分岐、抽象化が自然に書ける。
競合はTerraform（HCL、より主流）、CDK（AWS専用でCloudFormationの上に載る抽象化）、Crossplane（Kubernetesネイティブ）。型、ループ、テストをIaCに持ち込みたいチームではPulumiが強い。