Chorage est un système de cache distribué basé sur FUSE qui optimise les performances des systèmes de fichiers en mémorisant et en partageant les résultats des opérations de recherche entre plusieurs machines. Il agit comme un relais passif pour les requêtes de fichiers, réduisant ainsi les temps d'accès aux données sur des systèmes de fichiers distants ou partagés, notamment via NFS. Le projet se concentre sur la lecture seule et ne modifie pas les données ou métadonnées sous-jacentes.

Outil de vérification et de test pour évaluer la cohérence des bases de données relationnelles et distribuées. Il génère des historiques de transactions, les exécute sur des bases de données cibles, puis vérifie leur conformité à des modèles de cohérence comme la causalité, l'isolation instantanée ou la sérialisation. Utilisé principalement dans la recherche académique et l'optimisation des systèmes transactionnels.

Distem est une plateforme d'émulation de systèmes distribués. Elle permet de transformer un cluster homogène en un environnement expérimental où les nœuds ont des performances différentes et sont connectés via une topologie de réseau complexe. Idéal pour les recherches sur le Cloud, le P2P, le calcul à haute performance ou les systèmes Grid.

Kokkos est un écosystème de bibliothèques C++ conçu pour permettre aux développeurs de créer des applications performantes et portables sur diverses architectures de calcul haute performance. Il offre des abstractions pour l'exécution parallèle du code et la gestion des données, en ciblant des plateformes comme les GPU (CUDA, HIP, SYCL), les CPU multi-cœurs (OpenMP, threads C++) et les systèmes distribués (HPX). Utilisé dans la recherche et l'industrie, il simplifie le développement tout en maximisant les performances.

EASy-Irods-CoMmanDs (easicmd) est une interface graphique et en ligne de commande conçue pour simplifier l'interaction avec iRODS, un système de gestion de données distribuées. Ce projet permet aux utilisateurs, notamment les débutants, de manipuler facilement des fichiers et dossiers, de gérer les métadonnées, de rechercher des données et de partager des accès sans maîtriser les commandes complexes d'iRODS. Il offre une alternative intuitive aux icommands traditionnels.

Outil open source conçu pour automatiser la création de paquets logiciels à partir d'images Singularity. Il permet aux développeurs de générer des versions compilées de leurs projets pour différentes architectures CPU (x86, AVX, etc.) et systèmes d'exploitation (Debian, Fedora, etc.). Principalement utilisé dans le domaine de la recherche scientifique, il facilite le déploiement et la distribution de logiciels complexes sur des infrastructures variées, comme celles du CTA (Cherenkov Telescope Array).

Ce projet fournit des rôles Ansible pour déployer et configurer iRODS, un système open source de gestion de données distribuées. Il permet d'installer et de gérer des serveurs iRODS ainsi que des bases de données PostgreSQL associées, facilitant ainsi le stockage, la recherche et le partage de grandes quantités de données scientifiques ou institutionnelles. Les rôles sont adaptés pour des environnements CentOS 7.x ou Ubuntu 18.04, avec des modes d'installation fournisseur ou consommateur.

Outil dédié à l'assemblage et au test de flux de données entre plusieurs nœuds matériels et logiciels. Il permet de simuler des environnements complexes pour valider des protocoles de communication, mesurer les performances et analyser les latences. Principalement utilisé dans des contextes de recherche ou de développement technique pour optimiser les transferts de données et garantir la stabilité des systèmes distribués.

Ce projet fournit des outils pour construire et déployer le framework logiciel LSST dans un environnement conteneurisé. Il permet de générer des distributions logicielles sous forme d'archives tar.gz, adaptées à une diffusion via CernVM-FS ou un système de fichiers local. Les builds sont personnalisables pour inclure des paquets spécifiques et sont conçus pour être déployés dans des infrastructures de recherche scientifique.

Outil logiciel dédié à la vérification formelle de systèmes concurrents via la construction de graphes d'observation symboliques. Il permet d'analyser des modèles complexes en exploitant des techniques de parallélisation pour améliorer l'efficacité et réduire les temps de calcul. Utilisé dans le cadre de la recherche académique en informatique théorique, notamment pour l'étude des systèmes distribués et des protocoles de communication.