AI Programming

Amazon CodeWhisperer Amazon CodeWhisperer

AI code generation assistant launched by AWS, deeply integrated with AWS ecosystem

Amazon Q Developer AWS

AWS official AI development assistant, deeply integrated with AWS ecosystem and code security scanning

Codeflash AIStartMap

AI code performance optimization engine for engineering teams, enabling continuous performance engineering and infrastructure cost reduction through automated agents

F* F*

Proof-oriented programming language, dependency type + SMT automated verification, code extraction to OCaml/C/Rust, introduction of AI proof assistant in 2026