Inria est l'Institut national de recherche en sciences et technologies du numérique. Il mène des recherches avancées en intelligence artificielle, calcul haute performance, cybersécurité, robotique et sciences des données. L'institut travaille à l'innovation technologique pour répondre aux enjeux sociétaux et industriels, tout en promouvant l'accès ouvert aux résultats scientifiques et en accompagnant la formation des chercheurs et des professionnels du numérique.

L’Institut national de la statistique et des études économiques (Insee) est l’organisme public français chargé de collecter, analyser et diffuser des données sur l’économie et la société françaises. Il produit des statistiques officielles, réalise des recensements de population, et met à disposition des indicateurs économiques clés pour éclairer les politiques publiques et les décisions des acteurs socio-économiques.

Coq est un système de gestion de preuves formelles. Il fournit un langage formel pour écrire des définitions mathématiques, des algorithmes exécutables et des théorèmes, ainsi qu'un environnement pour le développement semi-interactif de preuves formelles vérifiables par machine.

Catala est un langage de programmation dédié à la rédaction et à l'analyse de textes législatifs. Il permet de définir des règles complexes de manière claire et précise, et de générer automatiquement du code à partir de ces règles. Catala vise à améliorer la fiabilité et la transparence des systèmes législatifs en automatisant certaines tâches de vérification et de mise en œuvre.

Spoon est une bibliothèque Java permettant d'analyser, transformer, transpiler et restructurer du code Java. Elle construit un AST (Arbre de Syntaxe Abstraite) bien conçu avec une API puissante pour l'analyse et la transformation. Spoon supporte les versions modernes de Java jusqu'à Java 20.

Ce projet est une formation en ligne (MOOC) sur l'apprentissage automatique en Python, utilisant la bibliothèque scikit-learn. Il comprend des notebooks Jupyter interactifs, des leçons en texte enrichi et des visualisations de données avec Matplotlib, Seaborn et Plotly. Les étudiants peuvent apprendre à leur propre rythme et bénéficier de fonctionnalités supplémentaires telles que des quiz et un forum de discussion.

Opam est un gestionnaire de paquets source pour le langage de programmation OCaml. Il supporte plusieurs installations de compilateurs simultanées, des contraintes flexibles de paquets et un workflow de développement Git-friendly.

SOFA est un framework open source dédié à la simulation interactive basée sur la méthode des éléments finis (FEM), avec un accent sur la simulation médicale et la robotique. Il est principalement destiné à la communauté de recherche pour favoriser de nouveaux algorithmes, mais peut également être utilisé comme un outil de prototypage efficace.

Le projet amiunique a pour but d'analyser la diversité des navigateurs web en collectant des données sur les configurations matérielles et logicielles des utilisateurs. Il permet de générer des statistiques sur les navigateurs et systèmes d'exploitation utilisés, contribuant ainsi à une meilleure compréhension de l'écosystème web.

Bibliothèque JavaScript pour la visualisation de données en streaming, inspirée du processus de sédimentation physique. Cette bibliothèque permet de créer des visualisations de données dynamiques et interactives, en s'appuyant sur des algorithmes de physique et de géométrie.