Ce projet facilite l'automatisation et la standardisation des déploiements de systèmes d'exploitation Windows au sein d'une infrastructure informatique. Il permet de configurer, déployer et maintenir des postes de travail ou serveurs de manière homogène et reproductible, réduisant ainsi les erreurs humaines et accélérant les mises à jour. Idéal pour les équipes IT cherchant à optimiser leur gestion des parcs informatiques.

Ce projet illustre une méthode simple pour publier des artefacts de build sur un dépôt Git externe. Il utilise GitLab Pages pour héberger le site web généré automatiquement à partir des tags de commit.

Outil public permettant de déployer et gérer des instances de sites web conformes à des standards numériques. Il facilite la création, la configuration et la maintenance de sites en automatisant les déploiements sur des plateformes comme Scalingo ou Alwaysdata. Le projet inclut des pages statiques personnalisables pour les erreurs et maintenances, assurant une expérience utilisateur cohérente même en cas de problème technique.

Ce projet propose un cadre automatisé pour la vérification formelle de circuits matériels complexes. Il permet de vérifier des propriétés temporelles et de prouver des lemmes sur des architectures électroniques, notamment via des techniques de model-checking symbolique et de preuve automatique. L'objectif est d'améliorer la fiabilité et la robustesse des systèmes embarqués en détectant des erreurs de conception avant leur déploiement.

Ce projet permet aux équipes informatiques de déployer, gérer et surveiller des applications sur des clusters Kubernetes de manière automatisée et sécurisée. Il facilite la standardisation des environnements, réduit les erreurs humaines et accélère les cycles de déploiement tout en garantissant la conformité et la traçabilité des opérations.

Plateforme interministérielle française dédiée à l'hébergement et au déploiement d'applications numériques sécurisées pour l'État. Elle propose une offre PaaS basée sur des standards industriels (Kubernetes, GitOps) pour automatiser le cycle de vie complet des projets, de l'intégration continue au déploiement, en passant par des audits de qualité et de sécurité. Destinée aux équipes de développement et aux ministères, elle facilite la conformité aux exigences de cybersécurité et de protection des données.

Bibliothèque de chartes Helm partagée pour standardiser le déploiement et la configuration des services au sein de la plateforme OKDP. Elle facilite l'intégration des services data (Hive, Trino, Iceberg, S3) et des connexions sécurisées entre eux, tout en automatisant la gestion des secrets et des valeurs de configuration. Destinée aux équipes DevOps et aux administrateurs de plateformes Kubernetes, elle simplifie la maintenance et l'évolution des services déployés.

Ce projet automatise la génération et le déploiement d'images serveurs pour JupyterHub, en intégrant des processus d'intégration continue. Il permet une configuration centralisée et automatisée des environnements serveurs, facilitant ainsi leur maintenance et leur mise à jour. Destiné aux administrateurs système et aux équipes DevOps, il optimise la gestion des infrastructures serveurs.

Projet open source utilisant Ansible pour automatiser le déploiement et la configuration d'infrastructures serveurs. Il permet de gérer des serveurs distants, de configurer des connexions VPN sécurisées via OpenVPN, et de lancer des services web de manière automatisée. Destiné aux administrateurs système et aux équipes DevOps, il simplifie la mise en place et la maintenance d'environnements serveurs complexes.

Ce projet permet de déployer et gérer des infrastructures informatiques complexes de manière automatisée. Il facilite la configuration de clusters Kubernetes, le déploiement de réseaux 5G, et la sécurisation des accès via des secrets chiffrés. Les outils intégrés automatisent les tâches DevOps pour optimiser les opérations techniques et réduire les erreurs humaines.