Ce bot, écrit en OCaml, est principalement utilisé dans le développement du projet Coq. Il permet la synchronisation entre GitHub et GitLab, la gestion des pull requests depuis des forks, la gestion des milestones des issues et la gestion du processus de backporting.

Le projet elementaryx est une plateforme dédiée à la simulation et à l'analyse de systèmes complexes, offrant des fonctionnalités avancées de visualisation de données. Il permet aux chercheurs et ingénieurs de modéliser et d'étudier des phénomènes complexes dans divers domaines tels que la physique, la biologie, l'ingénierie et les sciences sociales.

Ce projet fournit un guide pratique pour les nouveaux arrivants à Inria Saclay, présentant les services informatiques de l'Institut et les informations pratiques pour les membres du personnel. Il couvre les domaines tels que les réseaux Wi-Fi, la messagerie, les listes de diffusion, la visioconférence, le travail collaboratif, les clusters de calcul, les outils de développement et les réseaux de développeurs.

Ce projet est un dépôt de code source contenant des conteneurs Docker et des scripts utiles pour l'intégration continue dans GitLab, en particulier avec des runners partagés. Il fournit un conteneur Docker avec Python 3.11 et des packages pour accéder aux API CloudStack et GitLab, ainsi qu'un modèle de fichier Docker pour automatiser la construction et l'enregistrement de conteneurs sur le registre de conteneurs GitLab. Il contient également des mirrors pour les images Ubuntu.

DREADDs est un projet dédié à l'analyse et à la modélisation de données biologiques, en particulier dans le domaine des réseaux neuronaux. Il offre des fonctionnalités avancées de simulation et d'analyse de ces réseaux, permettant ainsi de mieux comprendre leur fonctionnement et leur dynamique.

Hcl.gitlabpages.inria.fr est une plateforme de développement et d'hébergement de projets en ligne. Elle permet aux utilisateurs de créer et de gérer des dépôts de code source, de travailler en collaboration avec leur équipe, et de déployer des sites web. La plateforme offre des fonctionnalités de gestion de version, de suivi de bugs, et de déploiement continu.

Le projet identification-tooling est conçu pour faciliter l'identification et la gestion des ressources. Il automatise le processus d'identification, permettant ainsi de gagner du temps et de réduire les erreurs. Il offre également un suivi des modifications apportées aux ressources, ce qui permet de garder une trace des changements et d'assurer la cohérence des données.

NEOS est un outil de simulation numérique dédié à la résolution de problèmes complexes en mécanique des fluides et en mécanique des solides. Il offre des fonctionnalités avancées de modélisation géométrique et de discrétisation, ainsi que des algorithmes de résolution d'équations différentielles efficaces.

Le projet pseudonyme `pseval` évalue les algorithmes de gravure PSE et PS13b pour la détection d'erreurs de gravure et l'estimation de la clé globale et locale dans des extraits musicaux monophoniques.

Ce projet fournit un dépôt de code source pour l'ajout du Thymio Device Manager (TDM) de la Thymio Suite en tant que service réseau autonome sur OpenWRT. Il permet de compiler le package TDM et de l'ajouter à la configuration réseau.