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.

Easytracker est un outil permettant le suivi et la visualisation de l'exécution de programmes dans les langages C, Python et Rust. Il offre des fonctionnalités telles que la visualisation de l'évolution de la pile et du tas mémoire, ainsi que l'affichage de l'exécution d'algorithmes spécifiques en Python.

ConnectionLens est un outil permettant de trouver des connexions entre des termes spécifiés par l'utilisateur à travers plusieurs sources de données hétérogènes. Il considère un ensemble de sources de données indépendantes comme un graphe virtuel unique, où les nœuds représentent des éléments de données fins (par exemple, des tuples relationnels, des attributs, des paires clé-valeur, des nœuds RDF, JSON ou XML) et les arêtes correspondent soit à des connexions structurelles (par exemple, un tuple est dans une base de données, un attribut est dans un tuple, un nœud JSON a un parent, etc.) soit à des liens de similarité (sameAs). Pour enrichir le contenu avec lequel les journalistes travaillent, ConnectionLens détecte également les personnes, les organisations, etc. mentionnées dans le texte, que ce soit du texte intégral ou des extraits trouvés dans des données RDF ou XML.

Le projet swh-graph fournit une représentation compressée de graphes et des outils pour stocker et interroger des données de graphes. Il est particulièrement utile pour l'analyse de réseaux sociaux et de dépendances logicielles.

Connection-Studio est une plateforme web permettant l'analyse et la visualisation de données biologiques, en particulier des réseaux d'interactions moléculaires. Il permet l'intégration de données hétérogènes et la recherche de motifs dans des données textuelles.

Ce projet est dédié à l'analyse d'images et au calcul de mesures de performance standard pour l'object detection et la segmentation. Il offre des fonctionnalités de traitement d'images avancées pour des applications scientifiques.

Ce projet est une bibliothèque permettant de créer des schémas à partir de la description de nœuds et d'arêtes, en définissant des contraintes pour organiser l'affichage. Il s'agit d'un prototype, mais il offre déjà des fonctionnalités intéressantes telles que la prise en charge de nœuds rectangulaires, circulaires, de textes centrés, de connexions entre nœuds, et de nœuds imbriqués.

PSyclone est un système de génération et de transformation de code conçu pour le code PSyKAl développé dans le projet GungHo. Il est capable de travailler avec du code Fortran existant et offre une API pour le traitement de code Fortran.

PyDynPeak est un logiciel Python d'analyse de séries temporelles hormonales. Il permet la détection de pics et l'analyse de fréquence dans les séries temporelles. Il est basé sur l'article scientifique de Vidal et al. (2012) et sur le package Scilab ATOMS Toolbox DynPeak.

RemI est un outil en ligne de commande facilitant l'interaction avec les ressources de calcul de l'Inria. Il permet de configurer des projets pour exécuter du code à distance sur des postes de travail Inria ou des nœuds de cluster, de synchroniser des projets avec l'espace de stockage Inria et de gérer des conteneurs Singularity.