imandra

Service de mobilité autonome permettant une exploitation sans conducteur sur les routes urbaines.

Plateforme de données IA pour l'annotation de données texte, audio, images, vidéo et 3D, ainsi que pour l'évaluation de modèles

Une plateforme matérielle open-source proposant des capteurs, des modules de communication et des appareils de calcul en périphérie pour le prototypage.

Une plateforme de développement en vision par ordinateur pour la gestion des ensembles de données, l'entraînement des modèles et le déploiement de services d'inférence.

Extension de navigateur qui capture automatiquement l'activité de l'écran et les journaux pour générer des rapports de défauts.

Une plateforme de productivité pour les développeurs prenant en charge les revues de code structurées et la gestion incrémentielle des changements

KiloCode est une extension VS Code open-source qui combine les meilleures fonctionnalités de Cline et Roo Code tout en introduisant des capacités uniques. La plateforme propose plusieurs modes professionnels, incluant un Orchestrateur pour décomposer les projets complexes, un Architecte pour la conception de solutions, un mode Code pour l'implémentation et un mode Débogage pour la résolution de problèmes. Contrairement aux assistants de codage traditionnels, KiloCode fournit un écosystème complet d'outils, comprenant des opérations sur le système de fichiers, l'automatisation de navigateur, l'exécution de commandes terminal et l'intégration de serveurs MCP. L'extension propose un modèle de tarification transparent sans commissions et offre un crédit gratuit de 20 $ pour les modèles avancés tels que Claude 4 Sonnet et Gemini 2.5 Pro.

Qodo est une plateforme complète, propulsée par l'IA, qui améliore la productivité des développeurs en automatisant la génération de code, la revue, les tests et la documentation. S'appuyant sur des modèles d'IA avancés, la plateforme fournit des suggestions de code précises, génère des cas de test complets, détecte les défauts et assiste dans les revues des Pull Requests. Prendant en charge tous les principaux langages de programmation et IDE, Qodo s'intègre de manière transparente tout au long du cycle de vie complet du développement logiciel, en mettant l'accent sur l'exhaustivité et la sécurité du code, ce qui le rend idéal tant pour les développeurs individuels que pour les équipes souhaitant maintenir efficacement un code de haute qualité.

CodeRabbit est une plateforme innovante de revue de code propulsée par l'IA qui révolutionne les processus traditionnels en fournissant des retours intelligents et conscients du contexte sur les demandes de tirage. Elle s'intègre parfaitement aux dépôts GitHub et GitLab pour permettre des revues de code automatisées ligne par ligne, identifiant rapidement les vulnérabilités, suggérant des optimisations et améliorant la qualité globale du code. Dotée de capacités conversationnelles d'IA, les développeurs peuvent interagir directement avec le bot dans les demandes de tirage, poser des questions et recevoir des retours instantanés. CodeRabbit apprend continuellement des interactions des utilisateurs, affinant ses recommandations au fil du temps tout en garantissant la confidentialité et la sécurité du code.

Tabnine est un assistant de codage propulsé par l'IA qui accélère le développement logiciel dans les IDE grand public grâce à une complétion de code intelligente, un chat en langage naturel et des outils d'automatisation. Conçu autour du respect de la vie privée, de la sécurité et de la conformité, il prend en charge plus de 600 langages et frameworks de programmation, s'adaptant parfaitement aux styles de codage individuels et d'équipe. Tabnine propose des options de déploiement flexibles, notamment en SaaS, VPC et sur site, pour répondre aux besoins des différentes organisations. Ses modèles d'IA sont exclusivement entraînés sur du code open source sous licence permissive, garantissant la sécurité juridique et la confidentialité des données des utilisateurs.

Cognition AI a dévoilé Devin, un ingénieur logiciel IA révolutionnaire capable de planifier, d'écrire, de déboguer, de tester et de déployer du code en toute autonomie. Devin améliore la productivité des équipes d'ingénierie en automatisant les tâches de codage, tant routinières que complexes, en réduisant les erreurs humaines et en permettant aux développeurs de se concentrer sur des défis de plus haut niveau. La plateforme s'intègre parfaitement aux flux de travail existants et favorise la collaboration grâce à des outils de gestion de projet et de retour d'information en temps réel. Cognition AI propose des solutions individuelles, d'équipe et d'entreprise pour répondre aux divers besoins des développeurs et des organisations dans le domaine de l'ingénierie logicielle assistée par l'IA.

ChainGPT est une plateforme d’infrastructure d’IA conçue spécifiquement pour l’écosystème blockchain et Web3, proposant une suite complète d’outils alimentés par l’IA, incluant la génération et l’audit de smart contracts, la création de NFT, l’assistance au trading par IA et l’analyse du marché des cryptomonnaies. Propulsée par des modèles d’IA avancés entraînés sur des données blockchain et cryptographiques, la plateforme fournit des solutions en temps réel, sécurisées et conviviales pour les développeurs, les traders, les entreprises et les passionnés. Le jeton utilitaire natif $CGPT débloque des fonctionnalités premium, permet de participer aux récompenses de staking et facilite la gouvernance décentralisée. Engagée à faire progresser l’adoption de la technologie blockchain, ChainGPT prend également en charge l’intégration des développeurs via des API et des SDKs, évoluant continuellement pour devenir une infrastructure blockchain native IA.