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é.

Outil dédié à la vérification et à la correction de l'intégrité des dépôts logiciels archivés. Il permet de détecter les fichiers corrompus ou altérés, d'identifier les doublons et de nettoyer les espaces de stockage pour garantir la pérennité des archives. Utilisé principalement dans des environnements de préservation numérique, il assure la cohérence et la fiabilité des données conservées.

Outil de vérification et de test pour évaluer la cohérence des bases de données relationnelles et distribuées. Il génère des historiques de transactions, les exécute sur des bases de données cibles, puis vérifie leur conformité à des modèles de cohérence comme la causalité, l'isolation instantanée ou la sérialisation. Utilisé principalement dans la recherche académique et l'optimisation des systèmes transactionnels.

Outil dédié au nettoyage et à la vérification des données dans les dépôts de stockage. Il permet d'identifier et de supprimer les entrées corrompues ou obsolètes tout en garantissant la cohérence des métadonnées. Utilisé principalement pour maintenir l'intégrité des archives numériques, il s'intègre dans des workflows de gestion de données à long terme.

Ce projet permet de gérer et organiser les catégories de domaines pour les utilisateurs d'une plateforme éducative ou collaborative. Il facilite l'assignation, la vérification et l'export des domaines actifs, tout en assurant la cohérence des données entre les utilisateurs et les catégories définies. Idéal pour les environnements nécessitant un suivi précis des accès et des permissions.

Ce projet regroupe les activités liées à la mise en place de services de qualité des données, y compris la vérification, la surveillance, le nettoyage et la standardisation des données entrantes pour garantir leur exactitude et leur cohérence.

Outil open source permettant de synchroniser plusieurs caméras en analysant des matrices numériques affichées ou enregistrées. Il combine des composants logiciels et matériels pour afficher et lire des valeurs numériques via des matrices 4x4, facilitant ainsi la vérification de cohérence entre flux vidéo. Idéal pour des applications nécessitant un suivi précis de données visuelles en temps réel.

Le projet navigocorpus s'occupe de la gestion et de l'analyse de données relatives aux transports en commun. Il inclut des programmes Python pour vérifier la cohérence des données de navigation et des outils d'importation de données depuis des fichiers CSV/XLSX vers une base de données PostgreSQL.

SVF est un framework open source dédié à l'analyse statique de pointeurs pour les programmes compilés avec LLVM. Il permet de détecter des erreurs mémoire, d'optimiser le code et de vérifier la cohérence des accès mémoire. Utilisé principalement dans le domaine de la compilation et de la sécurité logicielle, il offre des outils pour analyser les flux de données et les dépendances entre pointeurs dans un programme.

TangoLib est une bibliothèque dédiée à la gestion et au test d'attributs dynamiques pour des systèmes industriels ou scientifiques. Elle permet de simuler et valider le comportement de variables de différents types (scalaires, spectres, chaînes, booléens) dans des environnements Tango, un framework utilisé pour le contrôle d'instruments. L'outil facilite le développement et le débogage en vérifiant la cohérence des données et des événements associés.