Programmation IA

Fabius IA Fabius

Plateforme de révision et d'assistance du code IA pour les équipes de développement

Junie par JetBrains JetBrains

Agent de codage IA natif JetBrains, profondément intégré au flux de travail IDE

IA pour les développeurs AI For Developers

Catalogue d'outils d'IA et plateforme de sélection pour les développeurs, couvrant les assistants IDE, les agents de codage, les constructeurs d'applications et d'autres pistes

Code kilo

Agent de programmation IA open source, prenant en charge plus de 500 modèles, inférence sans balisage et IDE pleine plateforme

Amazon CodeWhisperer Amazon CodeWhisperer

Assistant de génération de code IA lancé par AWS, profondément intégré à l'écosystème AWS

CodeBuddyEDI CodeBuddy

L'IDE d'IA de développement full-stack lancé par Tencent intègre tout, des exigences à la conception, au codage et au déploiement.

Forger le code Forge

Outil de programmation par paires d'IA multimodèle pour aider les développeurs à planifier, modifier et vérifier le code dans le terminal.

Flash de code AIStartMap

Moteur d'optimisation des performances du code d'IA pour les équipes d'ingénierie, permettant une réduction continue des coûts d'ingénierie des performances et d'infrastructure grâce à des agents automatisés

F* F*

Langage de programmation orienté preuve, type de dépendance + vérification automatisée SMT, extraction de code vers OCaml/C/Rust, introduction de l'assistant de preuve IA en 2026

Langfuse Langfuse

Une plateforme d'ingénierie d'IA open source qui intègre le suivi, l'évaluation, la gestion des mots d'invite et les processus expérimentaux dans le même établi

Développeur Amazon Q AWS

Assistant de développement d'IA officiel d'AWS, profondément intégré à l'écosystème AWS et à l'analyse de sécurité du code

LangMagie LangMagic

Outil de conversion de code IA