Outil d'orchestration et de démonstration pour des calculs parallèles utilisant MPI (Message Passing Interface). Permet de déployer, configurer et tester des environnements distribués avec des nœuds Docker ou des machines virtuelles. Idéal pour illustrer le fonctionnement de programmes parallèles comme le benchmark 'ping-pong' entre plusieurs nœuds.

Ce projet permet de déployer et configurer un GitLab Runner sur une machine virtuelle Debian 11. Il facilite l'automatisation des pipelines CI/CD en exécutant des tâches définies dans GitLab. Le service peut être personnalisé pour différents types d'exécuteurs (Docker, Packer, Shell) et inclut des options de cache S3 pour optimiser les performances. Idéal pour les équipes DevOps souhaitant automatiser leurs processus de développement et de déploiement.

Ce projet propose une image Docker légère basée sur CentOS 7, spécialement conçue pour les environnements d'intégration continue (CI). Il permet aux développeurs de déployer rapidement et facilement des environnements de test ou de build reproductibles, sans avoir à configurer manuellement des machines virtuelles ou des serveurs dédiés. L'image est optimisée pour être utilisée dans des pipelines CI/CD, facilitant ainsi le développement et le déploiement d'applications.

Ce projet permet d'orchestrer des runners GitLab en utilisant l'infrastructure cloud de Inria comme backend. Il automatise le déploiement et la gestion de machines virtuelles pour exécuter des tâches de test ou de calcul, notamment pour des projets comme Coq. L'objectif est d'offrir une solution scalable et flexible pour les environnements de développement et d'intégration continue.

Ce projet fournit une documentation et des instructions pour installer Docker sur des versions anciennes de Windows (7 ou ultérieures). Il permet aux utilisateurs de créer et d'exécuter des conteneurs Linux directement depuis leur machine Windows, sans nécessiter une machine virtuelle complète. Cela simplifie le développement, les tests et le déploiement d'applications dans des environnements isolés et reproductibles.

Outil de gestion et de configuration dédié à l'administration centralisée des machines virtuelles et des plateformes informatiques. Il permet de définir et déployer des configurations standardisées pour des équipes, en intégrant des paramètres réseau, matériel et logiciels. Destiné aux administrateurs système, il facilite la maintenance et l'homogénéité des environnements virtuels au sein d'une organisation.

Packer est un outil d'automatisation de la création de machines virtuelles et d'images de systèmes d'exploitation. Il permet de définir des modèles de déploiement réutilisables, de personnaliser des images de systèmes d'exploitation et de les déployer sur différentes plateformes telles que VMware, VirtualBox, AWS, Azure, etc. Packer s'intègre également avec des outils de configuration tels que Ansible, Chef ou Puppet pour une gestion avancée des systèmes.

Ce projet fournit une solution de virtualisation d'environnement de développement et de déploiement d'applications sur des machines virtuelles. Il permet de gérer des déploiements sur plusieurs environnements et facilite le développement et le déploiement d'applications grâce à une solution virtualisée.

Ce projet permet de configurer et déployer des machines virtuelles basées sur Ubuntu de manière automatisée et reproductible. Il facilite la gestion des environnements serveurs en standardisant les configurations, réduisant ainsi les erreurs humaines et accélérant les déploiements. Idéal pour les infrastructures cloud ou les environnements de développement.

Ce projet permet de déployer l'intégralité de la pile de la passerelle de médias SIP grâce à des scripts Ansible. Il est divisé en trois parties : la partie Ansible pour la provisioning des machines virtuelles, la partie Packer pour la construction des images virtuelles et la partie Terraform pour le déploiement de la pile sur plusieurs fournisseurs de cloud et la configuration avec Cloud-Init.