Programmation IA

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

Lunaire Lunary

Plateforme de gestion, d'évaluation et de journalisation des invites observables pour les applications LLM de niveau production.

A2UI A2UI

Le protocole agent-to-UI initié par Google permet aux agents de générer en toute sécurité des interfaces natives rendues.

Codacy Codacy

Une plate-forme mature d’examen automatique de la qualité du code qui a intégré ces dernières années des suggestions de détection de défauts et de réparation améliorées par l’IA.

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.

Assistance au code Gémeaux Gemini Code Assist

Série Google Gemini d'assistants de programmation IA pour les développeurs individuels et les équipes d'ingénierie d'entreprise.

AgentOps AgentOps

Plateforme d'observation, de lecture, de suivi des coûts et de débogage pour AI Agent

Développeur IA Google Google AI

Plateforme officielle de développement d'IA de Google, fournissant l'API Gemini et AI Studio

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

Gitingest Gitingest

Convertissez n'importe quel référentiel Git en un résumé textuel compatible LLM avec un seul remplacement d'URL

Google IA Studio Google AI Studio

La plate-forme officielle de débogage et de prototypage Gemini de Google permet de se connecter depuis des expériences rapides jusqu'à la mise en œuvre d'API.

CLI du développeur Amazon Q

L'outil de ligne de commande auxiliaire de programmation IA lancé par AWS permet la génération de code basée sur le langage naturel et la gestion des ressources cloud dans le terminal.