Cet outil permet aux agents de l'État de localiser et d'accéder à des tiers-lieux de travail répartis sur le territoire français. Il offre une cartographie interactive pour visualiser les espaces disponibles, filtrer les résultats selon leur ministère d'appartenance, consulter les équipements et services proposés, ainsi que les horaires d'ouverture. Les données peuvent être téléchargées pour une utilisation hors ligne.

Ce projet vise à mettre à jour et adapter le travail décrit dans la publication "Scalable LCF-style proof translation" de Cezary Kaliszyk et Alexander Krauss, en se concentrant sur l'importation du théorème COMPACT_LS de HOL Light vers Isabelle. Il fournit des instructions pour générer des exports HOL Light et les traiter hors ligne, ainsi que pour importer les preuves dans Isabelle.

Espace numérique de travail dédié à un collège public, offrant aux élèves, parents et enseignants un accès sécurisé à des informations administratives, pédagogiques et pratiques. Le site permet de consulter les actualités, les horaires, les enseignements, les projets éducatifs et les services en ligne comme la messagerie ou les inscriptions. Il facilite également la collaboration entre les acteurs de la communauté éducative.

La bibliothèque municipale d'Injoux-Genissiat propose un accès gratuit à des ouvrages, périodiques et supports multimédias pour tous les publics. Elle organise des animations culturelles, des ateliers de lecture et met à disposition des espaces de travail. Le service inclut des horaires d'ouverture adaptés et des ressources numériques accessibles en ligne.

Ce projet est un TP (Travail Pratique) portant sur OpenStack, une plateforme open-source de cloud computing. Il se compose de trois parties : une partie WebUI pour découvrir l'interface Horizon, une partie CLI pour se familiariser avec la ligne de commande, et une partie Terraform pour déployer une machine virtuelle et une distribution Kubernetes légère.