This is a CDK hello world in C# for AWS - View it on GitHub