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.

Le projet gpu-data-checker est un plugin d'assistance à la vérification des données produites pour le GPU. Il offre deux traitements : la reprojection de la couche en coordonnées géographiques et le chaînage des vérifications des géométries de la couche correspondant à celles du validateur de GPU. Il produit une couche contenant les erreurs rencontrées.

Outil dédié à l'inspection rapide de jeux de données environnementaux pour identifier les données marquées comme incomplètes ou nécessitant une vérification. Permet aux chercheurs et analystes de valider la qualité des données avant leur publication ou analyse approfondie.

Ce projet fournit des outils de calcul et de vérification de dates pour des applications nécessitant une gestion précise du calendrier. Il permet de déterminer si une année est bissextile, de calculer le nombre de jours dans un mois, de valider une date et d'identifier le jour correspondant à une date donnée.

Ce projet propose des outils de calcul et de vérification de dates, permettant de déterminer si une année est bissextile, de connaître le nombre de jours dans un mois, ou encore de valider une date donnée. Il facilite la gestion des calendriers et des plannings en automatisant des calculs complexes liés au temps.

Outil en ligne de commande permettant de consulter les informations publiques d'enregistrement d'un nom de domaine (whois). Il facilite la vérification de la disponibilité d'un domaine, l'identification du propriétaire ou du registrar, ainsi que l'analyse des paramètres techniques comme les serveurs DNS ou les dates d'expiration. Utilisé par les administrateurs système, les développeurs et les professionnels du web pour des audits rapides et des recherches préliminaires.

Ce programme vérifie la terminaison d'autres programmes en utilisant le critère de terminaison Size-Change. Il accepte en entrée des fichiers Dedukti ou des fichiers XML de la Termination Problem Data Base.

Ce projet implémente l'algorithme de calcul des ordres d'appel pour Parcoursup, une plateforme d'admission dans l'enseignement supérieur en France. Il fournit une spécification formelle de l'algorithme et des preuves de sa correction en utilisant différents outils de vérification.

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.

Outil indépendant de modération pour la plateforme data.gouv.fr. Permet aux administrateurs de se connecter, d'effectuer des opérations CRUD, de signaler des contenus problématiques (spam, troll, liens externes suspects) et de suivre l'avancement des tâches de modération. Facilite la collaboration entre modérateurs en partageant les contenus déjà vérifiés et en répartissant les tâches.