Ce projet publie des données et analyses conjoncturelles sur la construction et le logement en région Pays de la Loire. Il fournit des rapports statistiques et des indicateurs pour éclairer les politiques publiques et les acteurs du secteur. Les publications sont produites par la Dreal (Direction Régionale de l'Environnement, de l'Aménagement et du Logement) et destinées aux professionnels, collectivités et grand public.

Ce projet vise à fournir une analyse et une visualisation de données conjoncturelles sur le secteur de la construction et du logement. Il permet de générer des rapports réguliers sur l'état du marché, grâce à l'utilisation de librairies dédiées à l'analyse et à la visualisation de données.

Opam-bulk-logs est un projet destiné à centraliser et organiser les logs de construction des paquets OPAM en masse. Il permet de faciliter l'analyse des problèmes de construction et d'améliorer le suivi des versions de paquets.

Ce projet propose une infrastructure CI/CD modulaire pour GitLab, permettant d'automatiser et d'orchestrer des pipelines de développement logiciel. Il facilite la construction, le déploiement et la maintenance d'applications via des blocs YAML réutilisables et configurables. Les fonctionnalités incluent la gestion des images Docker, le déclenchement de projets externes, la détection de dette technique et l'analyse de code via SonarQube.

Outil dédié à l'analyse et à l'amélioration du code source via des revues automatisées. Permet aux équipes de développement de collaborer efficacement pour identifier les erreurs, suggérer des optimisations et garantir la conformité aux bonnes pratiques. Facilite la maintenance et la robustesse des projets logiciels en fournissant des retours constructifs et des métriques de qualité.

Ce projet permet de centraliser et gérer les dépendances logicielles du système ComPASS, un outil dédié à l'analyse de données. Il facilite la construction d'images Docker pour déployer ComPASS de manière standardisée. Le dépôt sert également de registre pour héberger des paquets Python tiers nécessaires à son fonctionnement.

Ce projet héberge et maintient des paquets conda pour des applications et bibliothèques logicielles dédiées à la gestion et au contrôle d'équipements scientifiques, notamment des jauges de vide, des serveurs PLC et des outils d'analyse de données. Il facilite la construction, la distribution et l'installation de ces logiciels sur des stations de travail ou des systèmes dédiés, en assurant leur compatibilité et leur mise à jour.

SmartLB est un outil dédié à la construction rapide de treillis de concepts à partir de contextes binaires. Il permet d'extraire et de visualiser des structures logiques sous-jacentes à des ensembles de données, facilitant ainsi l'analyse et la compréhension des relations entre objets et attributs. Idéal pour les chercheurs ou analystes en data science, il offre une approche automatisée pour identifier des motifs et des hiérarchies dans des jeux de données complexes.

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.

Ce projet centralise les règles de construction des dockers S1Tiling, qui sont des conteneurs logiciels permettant de gérer les dépendances du logiciel S1Tiling utilisé pour le traitement de données radar, la création de mosaïques SAR et l'analyse d'images radar.