Dix logiciels stars d'Inria

Mis à jour le 10/12/2020

Avec près de 1 500 références, les logiciels produits par les équipes de recherche représentent pour l'institut un patrimoine en constante évolution, qui est aussi mis à la disposition des développeurs et des entreprises dans une logique d’open science. Tour d’horizon de 10 logiciels stars créés chez Inria.

Coq, la preuve par le logiciel

"Assistant de preuve", le logiciel Coq a été créé il y a plus de trente ans chez Inria pour la vérification des programmes informatiques et des théorèmes mathématiques. Un outil précieux pour les informaticiens qui l’utilisent pour la vérification mais aussi comme une aide à l’écriture. Et pour les mathématiciens, séduits par ses performances.

 

MedInria, l'imagerie médicale facilitée

MedInria est un logiciel de visualisation en 2D/ 3D/ 4D et de traitement d'images médicales gratuit et open source, offrant un large panel de fonctionnalités à destination des chercheurs et des praticiens de santé. Des algorithmes de haut niveau, mais une interface très simple d'utilisation.

Mmg monte au filet

Créée en 2004, la plate-forme open source Mmg fournit des applications et des bibliothèques logicielles permettant la modification automatique des maillages des objets virtuels créés en 3D. Développée conjointement par Inria, l’université de Bordeaux, Bordeaux INP, l’université Pierre et Marie Curie et le CNRS, la plate-forme Mmg est portée par un consortium Inria et une communauté d'utilisateurs très active.

Modéliser le corps humain avec SOFA

Modéliser des systèmes d'objets physiques et leurs évolutions, tel est le rôle de SOFA, un logiciel qui intègre aujourd’hui un grand nombre de modèles et d’algorithmes, permettant ainsi le développement rapide de nouvelles simulations. Ses domaines d’applications ? Le vivant avec un grand nombre d'applications médicales, mais aussi la robotique industrielle et les jeux vidéo.

Sofa-story

OpenViBE, pour créer facilement des interfaces cerveau-ordinateur

Traiter les signaux électriques liés à l'activité cérébrale et les traduire en commande pour des machines, c'est le rôle des interfaces cerveau-ordinateur. Conçu pour faciliter l'utilisation de ces interfaces, le logiciel OpenViBE permet aujourd’hui de concevoir, tester et utiliser facilement des interfaces cerveau-ordinateur. Il offre un outil simple d’accès et d’utilisation, qui s’adresse aussi bien à un public de chercheurs que de cliniciens ou encore de développeurs de jeux vidéo.
 

Pharo, la plate-forme universelle

Logo Pharo
Une plate-forme open source de développement logiciel simple et stable, adaptable à toutes les missions de développement même les plus critiques : c'est le rôle du logiciel Pharo. Le consortium Pharo fédère des utilisateurs très variés avec des industriels comme Synectique, Thales, Lifeware, mais aussi des acteurs académiques comme la Faculty of Information Technology de Prague (République Tchèque) ou encore la Fundación Argentina de Smalltalk.

Pl@ntNet, l'application verte

Avec l'application PlantNet, il suffit de photographier une plante pour l'identifier grâce à un système de reconnaissance visuelle embarqué ! Sous le capot, une plate-forme participative de production, d’agrégation et de diffusion d’observations botaniques est née de la collaboration de quatre organismes de recherche, le Cirad (Centre de coopération internationale en recherche agronomique pour le développement), l’Inra (Institut national de la recherche en agronomie), l’IRD (Institut de recherche pour le développement) et Inria.

Scikit-learn, la boîte à outils de l'apprentissage automatique

Scikit-learn est une bibliothèque libre développée en Python, un langage de programmation de haut niveau. Elle est dédiée à l’apprentissage automatique (machine learning) et peut être utilisée comme middleware, avec des applications dans la lutte contre la fraude et le spam, le ciblage marketing, la prévision du comportement des utilisateurs ou encore l'optimisation des processus industriels et logistiques.

 

Shanoir, au service de la neuroimagerie

Shanoir (SHAring NeurOImaging Resources) est une solution logicielle open source pour partager, archiver, chercher et visualiser des données de neuro-imagerie. Elle offre un accès web sécurisé et propose un workflow intuitif pour faciliter la collecte et l'import de données de neuro-imagerie depuis des sources multiples (CD/DVD Dicom, réseau, fichiers existants, etc.). De quoi permettre aux chercheurs de mener des projets de recherche dotés de contrôles qualité dans le cadre de collaborations distantes.

VIdjil assiste le séquençage haut débit

 

Vidjil

Vidjil analyse les séquences d’ADN des lymphocytes produites par séquençage à haut débit et décrit le répertoire lymphocytaire. Le logiciel permet d’améliorer le diagnostic et le suivi de certaines leucémies et est utilisé de manière plus générale par la recherche en hématologie et en immunologie.