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.

Le projet intro est une plateforme de présentation de projets de recherche, permettant le partage de documents de séminaires et la publication de programmes d'événements. Il offre une interface simple et accessible pour mettre en avant les travaux de recherche et faciliter leur diffusion.

Ce projet offre un GitLab runner personnalisé qui crée des machines virtuelles dynamiquement dans l'instance CloudStack fournie par ci.inria.fr. Il permet l'exécution de jobs dans des conteneurs Docker ou directement sur des machines virtuelles avec Linux, Mac OS X ou Windows, offrant ainsi plus de flexibilité et de ressources pour les jobs GitLab.

Coq est un système de gestion de preuves formelles. Il offre 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 machine-checkées.

Ce projet permet de démontrer l'utilisation de l'API CloudStack pour créer, démarrer et arrêter des machines virtuelles hébergées sur ci.inria.fr. Le fichier .gitlab-ci.yml spécifie un pipeline qui vérifie si la machine virtuelle existe et la crée si nécessaire, vérifie si elle est en cours d'exécution et la démarre si nécessaire, exécute une étape de build, et arrête finalement la machine virtuelle.

Ce projet utilise CMake, GoogleTest et CppCheck pour gérer, tester et analyser la qualité d'un code source C++ générant des nombres aléatoires.

Exemple d'utilisation de Docker in Docker avec un runner partagé. Ce projet permet de construire et de gérer des images Docker en utilisant un runner partagé pour l'exécution des conteneurs.

Ce projet héberge les sources du site web liberabaci.gitlabpages.inria.fr, qui permet le partage de documents et l'édition de pages web. Il est organisé autour d'un workflow simple, avec des fichiers HTML et CSS stockés dans un dépôt Git, et des documents PDF stockés dans un répertoire séparé. Les mises à jour du site sont automatiques grâce à une configuration GitLab CI.

Ce projet permet d'activer le processus d'intégration continue pour des projets Matlab, en exécutant des tests unitaires et en gérant les licences Matlab. Il s'appuie sur un dépôt de code source contenant une fonction et son unité de test associée.

Ce projet permet de gérer des files d'attente de calculs sur un supercalculateur en utilisant Slurm. Il offre la possibilité d'exécuter des tâches de traitement parallèle et d'optimiser les performances des calculs scientifiques.