AI Programming

Amazon CodeWhisperer Amazon CodeWhisperer

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

CodeBuddy IDE CodeBuddy

The full-stack development AI IDE launched by Tencent integrates everything from requirements to design, coding and deployment.

Forge Code Forge

Multi-model AI pair programming tool to help developers plan, modify and verify code in the terminal.

F* F*

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

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