I believe AWS CDK is actually written in JS, natively, and ported to other languages, inc. Python, using sort of a transpiler they created for that purpose.