ARRHES est un outil développé par l'université de Caen Normandie pour gérer la réservation de pools de machines virtuelles VMware Horizon destinées aux étudiants. Il permet de réserver des ressources limitées en licences logicielles pour des cours planifiés, en assurant que les étudiants connectés soient prévenus avant le début d'un cours. Le système synchronise les réservations avec l'emploi du temps pédagogique ADE Campus et ajuste automatiquement les droits d'accès aux machines virtuelles selon les besoins des enseignements.

Projet académique hébergé par l'Université de Nantes visant à faciliter la gestion de développement logiciel pour les étudiants et enseignants. Il permet la collaboration en équipe, l'automatisation des tests et des déploiements, ainsi que le suivi des vulnérabilités de sécurité via des outils intégrés. Destiné à l'apprentissage des bonnes pratiques DevOps et de la gestion de code source.

Projet académique réalisé dans le cadre d'un enseignement universitaire. Il s'agit d'un dépôt de code source hébergé sur GitLab, dédié au développement collaboratif, à l'apprentissage des bonnes pratiques de gestion de projet et à l'utilisation d'outils DevOps comme l'intégration continue. Le projet permet aux étudiants de travailler en équipe sur des fonctionnalités logicielles tout en appliquant des méthodes professionnelles.

Projet open source dédié au développement de matériel et de logiciels pour la gestion d'entrées/sorties analogiques et numériques. Il propose un bouclier électronique polyvalent pour expériences, ainsi que des outils logiciels pour générer des signaux et acquérir des données. Destiné aux chercheurs, enseignants et passionnés d'électronique souhaitant automatiser des montages expérimentaux.

Projet éducatif visant à fournir des ressources et outils pour l'apprentissage de la programmation. Il inclut des cours, des exercices et des supports pédagogiques conçus pour faciliter la compréhension des concepts fondamentaux et avancés du développement logiciel. Destiné aux étudiants, enseignants et autodidactes.

Ce projet pédagogique vise à enseigner la mise en place de tests unitaires pour des algorithmes de tri classiques en langage C. Il fournit une base de code simple et limitée, permettant aux étudiants d'implémenter des tests pour valider le bon fonctionnement des fonctions. Le dépôt inclut également des outils pour mesurer la couverture de code et générer des rapports détaillés, favorisant ainsi une approche rigoureuse du développement logiciel.

Ce projet fournit des fichiers de configuration pour l'outil Spack, permettant aux utilisateurs du CINES (Centre Informatique National de l'Enseignement Supérieur) de déployer rapidement des environnements de développement standardisés. Il simplifie l'installation et la gestion des paquets logiciels en s'appuyant sur les ressources déjà disponibles sur les systèmes du CINES, réduisant ainsi les temps de configuration et les erreurs.

Projet universitaire visant à développer une plateforme collaborative pour la gestion de travaux d'étude et de recherche. Il permet aux étudiants et enseignants de collaborer sur des projets logiciels, d'automatiser les tests et le déploiement, et d'analyser la sécurité du code. Basé sur des outils open source, il facilite l'apprentissage pratique des bonnes pratiques en développement logiciel.

VsRocq est une extension pour Visual Studio Code et VSCodium qui fournit un support avancé pour le prouveur interactif Rocq (anciennement Coq). Il permet aux utilisateurs de vérifier des preuves mathématiques, de développer des logiciels certifiés et d'enseigner la logique formelle grâce à une intégration fluide avec l'éditeur. L'outil offre des fonctionnalités comme la vérification continue des preuves, une interface interactive pour explorer les objectifs de preuve et un panneau dédié aux requêtes.

Projet académique lié à un enseignement universitaire, probablement un travail dirigé ou un projet de développement logiciel. Il s'agit d'un dépôt de code source hébergé par une université, utilisé pour des travaux pratiques ou des projets étudiants. Le projet inclut des outils de collaboration, d'intégration continue et de gestion de versions.