Plateforme publique dédiée à la gestion de dépôts Git pour les services de l'État. Elle permet aux équipes de collaborer sur des projets logiciels en toute sécurité, avec des fonctionnalités avancées de contrôle d'accès, de revues de code et de gestion des contributions. Accessible aux agents publics et aux partenaires externes, elle favorise la transparence et la mutualisation des développements.

Ce projet est un dépôt de ressources pour l'apprentissage du développement orienté objet avec le langage Kotlin. Il contient des supports de cours, des exemples, des sujets de TPs et de TDs sur les concepts fondamentaux de la programmation orientée objet tels que les classes, les objets, l'héritage et les collections.

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.

DIB est un outil conçu pour aider à construire plusieurs images Docker définies dans un répertoire, éventuellement dépendantes les unes des autres, en une seule commande. Il prend en charge l'incremental build, la résolution des dépendances, l'exécution de suites de tests sur les images et la prise en charge de plusieurs backends de construction d'images.

Ce projet est un dépôt de code source pour le cours UE LIFPF INF2030L Programmation Fonctionnelle du semestre 2024 Printemps. Il contient des diapositives, des sujets de TD, de TP et de CM, ainsi que des corrigés et des configurations pour les salles de TP. Les thèmes abordés dans ce cours sont le lambda-calcul, le langage de programmation OCaml, les structures de données récursives, les foncteurs, et l'ordre supérieur.

Le projet dataroom est une plateforme de gestion et de partage de données dédiée au MTES & MCTCRT. Il permet de centraliser, d'inventorier et de partager de manière sécurisée les jeux de données de ces ministères avec des tiers autorisés.

Le projet CCT-Cloud-Native est une solution cloud-native permettant de gérer le contenu web et d'automatiser les workflows. Il offre une intégration facile avec d'autres systèmes grâce à une architecture modulaire et flexible.

Ce projet est un support de cours en ligne pour la partie 2 de la formation NF26, qui porte sur l'apprentissage en haute volumétrie. Il permet aux étudiants de consulter et de contribuer au polycopié pédagogique, qui est généré automatiquement à partir du dépôt de code source.

Gitlab-ci-pipelines-exporter est un outil permettant de surveiller et d'exporter des métriques sur les pipelines GitLab CI à l'aide de Prometheus. Il est basé sur un projet plus complet de mvisonneau, mais avec une différence majeure : il utilise les données fournies par les webhooks au lieu de l'API GitLab pour éviter les limitations de taux et la saturation de l'API.

Ce dépôt contient les supports de formation pour apprendre à utiliser Git via RStudio et collaborer sur des projets R avec Gitlab. Il est destiné à remplacer les supports précédemment déployés sur Gitlab Pages.