

Verbatim
Ampliar el uso de los software opensource de Inria = Empoderar a la sociedad proporcionando acceso a la tecnología
Développer l'utilisation des logiciels libres de l'Inria = Donner du pouvoir à la société en lui donnant accès à la technologie !
personnes formées
cours
logiciels à source ouverte
Scikit-learn est une bibliothèque d'apprentissage machine open source pour Python qui supporte l'apprentissage supervisé et non supervisé. Il fournit également divers outils pour l'ajustement des modèles, le prétraitement des données, la sélection et l'évaluation des modèles, et de nombreux autres utilitaires.
RIOT est un système d'exploitation libre et gratuit développé par une communauté de base d'entreprises, d'universitaires et d'enthousiastes, distribué dans le monde entier. RIOT vise à mettre en œuvre tous les standards ouverts pertinents qui soutiennent un Internet des objets connecté, sûr, durable et respectueux de la vie privée.
Pharo est une expérience de programmation immersive. Pharo est un langage de programmation purement orienté objet et un environnement puissant, axé sur la simplicité et le retour d'information immédiat.
SOFA est un cadre open source orienté vers la simulation en temps réel, avec un accent sur la simulation médicale. La SOFA aide à promouvoir de nouveaux algorithmes et peut également être utilisée comme un outil de prototypage efficace.
Coq es un sistema formal de gestión de pruebas. Proporciona un lenguaje formal para escribir definiciones matemáticas, algoritmos y teoremas ejecutables junto con un entorno para el desarrollo semi-interactivo de pruebas comprobadas por máquina.