NixOS-Compose vise à simplifier la configuration d'environnements distribués éphémères grâce à Nix, le gestionnaire de packages fonctionnel, et Nixos. Il s'inspire de NixOS Tests, nixos-generators et Arion.

Ensemble d'outils Go autour de Batsim pour simplifier les expériences. Il permet de gérer l'exécution de simulations, de tester les outils associés et de construire des workflows expérimentaux robustes avec Batsim.

Ce projet consiste en une étude des applications Bag-of-Tasks du méso-centre Gricad. Il inclut l'analyse de données, la génération de rapports d'étude et la visualisation de données scientifiques.

Ce projet vise à présenter des outils et méthodologies DevOps pour le déploiement et la gestion de systèmes logiciels complexes dans le contexte de la recherche expérimentale en informatique. Il couvre l'automatisation, la traçabilité et la reproductibilité des logiciels, ainsi que des démonstrations et use-cases spécifiques.

Projet visant à mettre en œuvre un chiffrement AES durci pour protéger les données confidentielles contre les attaques par fautes et par observation.

The ipanema-nixos-compose project provides a consistent and reproducible way to manage application dependencies and deploy infrastructure, improving development efficiency and reducing errors.

Ce projet vise à partager des expériences, des retours et des références sur la méthodologie des expérimentations. Il comprend des outils pour assurer la reproductibilité, tels que la création d'images système complètes et la gestion de l'environnement d'expérimentation à l'aide de gestionnaires de packages fonctionnels.

Ce projet fournit une configuration NixOS et une composition NixOS-compose avec Guix, Nix et Spack disponibles. Il permet de construire et de gérer des machines virtuelles et des conteneurs avec des environnements logiciels reproductibles et des dépendances gérées de manière centralisée.

Ssh-nix is a project that simplifies secure remote access to servers by automating server configuration management and providing a user-friendly interface for managing SSH keys. It helps to improve security and productivity by reducing the complexity of managing SSH keys and server configurations.

Le projet tansiv est une bibliothèque logicielle permettant de simuler des systèmes distribués en les couplant avec des machines virtuelles exécutant du vrai code. Il vise à fournir une illusion robuste d'exécution non modifiée pour les applications dans les machines virtuelles, en particulier en ce qui concerne la perception du temps.