Ce projet est une documentation collaborative destinée aux étudiants travaillant au sein de l'équipe GEODYNAMO. Il centralise des informations techniques essentielles pour l'utilisation des outils informatiques, des clusters de calcul, des bonnes pratiques en informatique scientifique et des ressources pour le développement et la simulation. Les notes sont organisées par thèmes pour faciliter l'accès et la compréhension.

Ce projet est un outil de gestion de projets informatiques destiné aux étudiants et enseignants d'un groupe de travail. Il permet de centraliser les tâches, les documents et les échanges liés à un projet technique. L'objectif est de faciliter la collaboration et le suivi des avancées dans un cadre pédagogique ou professionnel.

Rocq-prover.org est une plateforme en ligne dédiée au langage Rocq, un assistant de preuve formelle. Elle centralise la documentation technique, les paquets logiciels et les ressources pédagogiques pour faciliter l'apprentissage et le développement avec Rocq. Le site propose une interface moderne et accessible, adaptée aux besoins des chercheurs, développeurs et étudiants en informatique théorique.

Projet académique visant à développer une application de gestion de projets pour des étudiants en informatique. Permet de collaborer en équipe, suivre l'avancement des tâches et centraliser la documentation technique. Utilisé dans le cadre d'un module de formation pour appliquer les bonnes pratiques de développement logiciel.