Outil dédié à la validation et à la vérification de conformité des documents XML, notamment dans le domaine médical. Il permet de compiler des règles Schematron pour valider des structures de données, d'assurer la cohérence des échanges entre systèmes et de générer des rapports détaillés sur les anomalies détectées. Utilisé pour garantir l'interopérabilité des données dans des environnements critiques comme les systèmes de santé.

Suite d'outils dédiés à l'analyse et à la mesure des performances du code C++ généré par le compilateur Faust. Ces utilitaires permettent d'évaluer l'impact de nouvelles stratégies de compilation, de valider la correction des implémentations et d'optimiser les performances des programmes audio générés. Ils s'adressent principalement aux développeurs travaillant sur le compilateur Faust ou sur des backends spécifiques.

Ce projet est un compilateur et un moteur d'exécution pour le langage de modélisation BIP (Behavior, Interaction, Priority). Il permet de générer du code à partir de modèles BIP, de vérifier la validité des modèles et de les exécuter.

Ce projet illustre l'utilisation de GitLab pour automatiser la compilation et le déploiement de documents LaTeX. Il met en œuvre des hooks de pré-commit pour valider le style du code, une compilation automatique via GitLab Runner, et un déploiement sur GitLab Pages. L'objectif est de simplifier la gestion de documents LaTeX tout en garantissant une qualité de code constante.

MAR-CI est un système d'intégration continue dédié à la validation et au test automatisé des codes sources du projet MAR. Il permet de vérifier la conformité des structures de fichiers, d'exécuter des pipelines de compilation et de test sur différentes configurations matérielles et logicielles, et de gérer des accès sécurisés aux dépôts privés. L'outil facilite la collaboration entre développeurs en automatisant les vérifications et en fournissant des rapports détaillés sur les résultats des tests.

Projet de test automatisé pour valider des bibliothèques C++ et des outils de compilation. Il permet de vérifier la compatibilité des compilateurs et des environnements d'exécution avec des bibliothèques logicielles. Utilisé principalement dans un contexte de recherche ou de développement logiciel pour s'assurer que les outils respectent les standards attendus.

Frmg est un outil de traitement automatique du langage naturel dédié à l'analyse syntaxique des phrases en français. Il génère des grammaires formelles à partir d'une métagrammaire et les compile pour produire des structures linguistiques exploitables. Développé dans le cadre de la chaîne de traitement linguistique d'INRIA, il permet de valider des phrases, d'extraire des forêts de dérivation et de faciliter la recherche en linguistique computationnelle.

Mlang est un compilateur développé pour transcrire le code fiscal français (langage M) en instructions exécutables par machine. Il permet de calculer automatiquement les impôts sur le revenu en interprétant les règles fiscales complexes définies par la Direction Générale des Finances Publiques (DGFiP). Le projet vise à offrir une solution open source pour reproduire et valider les calculs fiscaux, en collaboration avec les services publics.

Ce projet permet de gérer et configurer un environnement de développement dédié à la compilation de logiciels sous Ubuntu 18.04 avec une chaîne de compilation GCC 9. Il est principalement utilisé dans le cadre de pipelines d'intégration continue (CI) pour valider la conformité des environnements de build. Le dépôt est maintenu par le CNRS/LIRMM et s'appuie sur le framework PID pour sa gestion.

Projet open source dédié à la compilation et à l'optimisation de logiciels pour les architectures ARM. Il facilite le développement de fonctionnalités logicielles spécifiques et encourage la contribution collaborative via des branches dédiées et des processus de validation structurés.