Coq est un système de gestion de preuves formelles. Il fournit un langage formel pour écrire des définitions mathématiques, des algorithmes exécutables et des théorèmes, ainsi qu'un environnement pour le développement semi-interactif de preuves formelles vérifiables par machine.

Le projet intro est une plateforme de présentation de projets de recherche, permettant le partage de documents de séminaires et la publication de programmes d'événements. Il offre une interface simple et accessible pour mettre en avant les travaux de recherche et faciliter leur diffusion.

Ce projet est une formation et un accompagnement au Calcul, au Cloud et à Kubernetes, qui se déroule à Sète en 2023. Il a pour but de présenter les possibilités offertes par les images Singularity et de fournir des tutoriels pour l'installation, la création et l'utilisation de ces images. Il aborde également l'utilisation de Conda dans un container Singularity et la création d'image pour exécuter du code MPI.

Ce projet est une application de jeu vidéo réalisée sous forme de mashup Web mobile, utilisant différentes technologies enseignées dans l'UE Web Avancé, Web Mobile de M1 informatique. Le jeu sera déployé sur une VM de l'infrastructure OpenStack du département.

Preuve de concept (POC) utilisant le système de publication Quarto pour la génération de sites web bibliothèque numérique, permettant la navigation et la visualisation de données déposées sur l'entrepôt Nakala. Ce POC démontre la capacité de Quarto à traiter une grande diversité de contenus scientifiques, avec des exemples de visualisation d'images, de spatialisation, et de statistiques.

Ce projet offre un GitLab runner personnalisé qui crée des machines virtuelles dynamiquement dans l'instance CloudStack fournie par ci.inria.fr. Il permet l'exécution de jobs dans des conteneurs Docker ou directement sur des machines virtuelles avec Linux, Mac OS X ou Windows, offrant ainsi plus de flexibilité et de ressources pour les jobs GitLab.

Coq est un système de gestion de preuves formelles. Il offre un langage formel pour écrire des définitions mathématiques, des algorithmes exécutables et des théorèmes, ainsi qu'un environnement pour le développement semi-interactif de preuves machine-checkées.

Ce projet fournit des modèles Gitlab CI utiles pour la construction et le déploiement d'images Docker, la gestion des dépendances du projet et la vérification de la qualité du code et des résultats des tests.

CLIP OS is a secure and hardened open-source operating system based on the Linux kernel. It is designed to provide a high level of security and confidentiality for sensitive data and communications. CLIP OS supports a wide range of hardware platforms, including desktop and laptop computers, as well as servers. The build and deployment process is fully automated, ensuring consistent and reliable results.

Le projet r1.02 est une application web dédiée aux personnes âgées, visant à améliorer leur autonomie et leur qualité de vie. Il permet de gérer un planning d'activités, de suivre leur état de santé, et de faciliter la communication avec leurs proches.