Programmation IA

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.

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

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

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