Ce projet gère la configuration du validateur CNIG TRI de l'IGN, permettant de valider les standards des documents d'urbanisme (PLU, POS, CC, etc.). Il organise les méta-modèles, les fichiers attendus et les tables de codes nécessaires à la validation des archives. Le dépôt centralise les règles de modélisation pour assurer la cohérence des données et faciliter leur contrôle.

Outil dédié à la modélisation et à la conception d'applications logicielles. Permet aux développeurs et architectes de définir des architectures complexes, de valider des modèles et de générer des structures logiques cohérentes pour des systèmes informatiques.

Outil dédié à la résolution de problèmes de satisfaction de contraintes (CSP) et à la validation de propriétés logiques sur des modèles formels. Il permet d'analyser des systèmes critiques en vérifiant leur cohérence et en générant des contre-exemples ou des preuves de validité. Développé dans le cadre d'un projet de recherche financé par l'ANR, il s'appuie sur des techniques avancées de logique et de satisfiabilité.

Le projet common-models a pour objectif de définir des structures de données partagées, de codifier des règles de validation de données et de mettre en place des modèles de données pour les échanges entre services. Il permet de garantir la cohérence et la qualité des données échangées entre les différents services d'une organisation.

Extension Sphinx dédiée à la documentation des modèles Pandera. Elle permet de générer automatiquement une documentation technique à partir des modèles de données validés par Pandera. L'objectif est de centraliser la description, la validation et la documentation des données dans un seul outil, garantissant ainsi la cohérence et la traçabilité des informations.

Le projet standard-block-api est une solution dédiée à la validation de modèles de données et à l'échange de messages entre systèmes. Il offre des fonctionnalités de décodage et d'encodage de données, ainsi que des capacités de validation pour garantir l'intégrité et la cohérence des informations échangées.

Bidomain est un projet dédié à la modélisation et à la simulation de modèles physiques, notamment dans le domaine biomédical. Il permet de convertir des modèles en formats compatibles avec des outils d'analyse scientifique comme Ensight. Le projet inclut des tests d'intégration pour valider la cohérence des résultats obtenus par rapport à des références préenregistrées.

Ce projet développe des preuves formelles en Coq pour valider des modèles de mémoires tampons (store buffers) parallèles. Il explore des configurations avec verrous fins ou complets et démontre leur monotonie ou leurs contre-exemples. Les travaux servent de base théorique pour l'analyse de systèmes concurrents et la correction de protocoles de cohérence mémoire.

Outil dédié à la validation, la préparation et la visualisation de données scientifiques, notamment climatiques. Il permet de structurer des jeux de données bruts en fichiers NetCDF standardisés, de vérifier leur cohérence et de générer des visualisations adaptées à des grilles hexagonales ou autres formats géospatiaux. Utilisé principalement pour des simulations environnementales et des analyses de données issues de modèles climatiques.

Le projet hl7templates-api est une solution dédiée au traitement et à la validation de modèles HL7, offrant une gestion robuste des règles de transformation. Il permet d'assurer l'intégrité et la cohérence des données échangées dans le domaine de la santé.