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

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.

Ce projet propose un cadre méthodologique pour la vérification et la validation de modèles de simulation, notamment ceux utilisés dans SOFA. Il s'appuie sur des solutions manufacturées et des comparaisons avec d'autres technologies de simulation pour garantir la fiabilité et la conformité des algorithmes et modèles développés.

Outil dédié à l'export, la sauvegarde et la validation des données sismiques du réseau RESIF. Il automatise le transfert des métadonnées et des données validées depuis des points de montage vers des répertoires de travail. Le script gère également la reprise des transferts interrompus et la vérification des checksums pour garantir l'intégrité des données. Les rapports générés permettent de suivre les erreurs et les succès des opérations.

Bibliothèque Python dédiée à la validation de données conformes aux formats français courants. Elle permet aux développeurs et data scientists de vérifier rapidement si une valeur respecte un format spécifique (comme un numéro de département, un code postal, etc.). Elle offre également la possibilité de récupérer l'ensemble des valeurs valides pour un format donné, utile pour alimenter des menus déroulants dans des interfaces frontales.

Ce projet fournit un échantillon de données structurées sous forme de fichier Parquet pour tester et valider le partitionnement de données. Il permet aux développeurs de vérifier le bon fonctionnement d'un outil de partitionnement avant son utilisation sur des jeux de données plus volumineux, notamment dans un contexte de traitement de données astronomiques.