AI Programming

F* F*

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

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.

LangMagic LangMagic

AI code conversion tool

AskCodi AskCodi

Locally running AI engineering team - CTO Agent orchestrates multi-specialty Agents to be developed in parallel in an isolated git worktree

Not Diamond Not Diamond

Allocate requests to more appropriate models through model routing to automatically balance effects and costs.

Lovable Lovable

Lovable directly generates full-stack applications through natural language, allowing non-engineers and small teams to quickly launch products.

Amazon Q Developer AWS

The AI ​​programming assistant launched by AWS deeply integrates the code generation and debugging tools of the AWS ecosystem.

OpenLIT OpenLIT

OpenTelemetry-native's open source AI engineering platform covers LLM/Agent tracking, evaluation prompts and monitoring

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.