The AWS Cloud Development Kit (AWS CDK) is now generally available in TypeScript and Python. AWS CDK is an open source software development framework to model and provision your cloud application resources using familiar programming languages. With AWS CDK, you can define your infrastructure as code and provision it through AWS CloudFormation. AWS CDK is also available in Java and C# in developer preview.