AI Programming
-
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
-
CodeGPT CodeGPT
Multi-model integrated AI code assistant, supporting VS Code extension and independent desktop client
-
Gemini Code Assist Gemini Code Assist
Google Gemini series of AI programming assistants for individual developers and enterprise engineering teams.
-
AskCodi AskCodi
Locally running AI engineering team - CTO Agent orchestrates multi-specialty Agents to be developed in parallel in an isolated git worktree
-
Amazon Q Developer AWS
The AI programming assistant launched by AWS deeply integrates the code generation and debugging tools of the AWS ecosystem.
-
CodeQwen Qwen Team
A large code-specific model launched by Alibaba Tongyi Qianwen team supports 92 programming languages and 64K contexts
-
GitHub Copilot Copilot
GitHub Copilot is the AI programming assistant with the highest penetration rate in the world, covering code completion Chat, Coding Agent and multi-model collaboration.
-
GoCodeo GoCodeo
AI programming platform provides developers with code generation, debugging and project implementation assistance.