Outil dédié à la vérification et à la validation des structures de données des produits livrés dans un cadre académique ou institutionnel. Il permet d'assurer la conformité des données aux standards définis, facilitant ainsi leur intégration et leur réutilisation par les équipes ou partenaires. Le projet s'intègre dans une démarche de qualité et de traçabilité des données.

Ce projet est un outil pédagogique destiné à l'apprentissage des algorithmes et des structures de données en deuxième année de licence. Il permet aux étudiants de manipuler des données organisées sous forme de listes, grilles ou structures personnalisées, en facilitant leur saisie, affichage et vérification.

Le projet tousanticovid-verif-ios est une application iOS dédiée à la vérification des pass sanitaires. Elle dispose de deux modes de fonctionnement : un mode lite (TAC Verif) pour des vérifications simples et un mode détaillé (TAC Verif +) pour afficher plus de données. Les applications Android et iOS offrent les mêmes fonctionnalités, développées à partir de sources distinctes. Le projet prévoit le remplacement de la Librairie MLKit et du service AKAMAI par des alternatives européennes.

Service public dédié à la vérification et à l'analyse des devis de rénovation énergétique pour les particuliers et les professionnels. Il permet de s'assurer de la conformité des travaux proposés, d'harmoniser les pratiques de la filière et de fournir des ressources pour améliorer la qualité des rénovations. Le service inclut également des outils pour suivre et analyser les données de rénovation.

Ce projet compile et met à jour un catalogue de binaires de vérification, des systèmes stellaires compacts comme les naines blanches, étoiles à neutrons ou étoiles à hélium, dont les périodes orbitales ultra-courtes sont déjà détectables par des observations électromagnétiques. Ces données servent de référence pour la mission spatiale LISA, dédiée à l'observation des ondes gravitationnelles.

Ce projet propose des exercices pratiques et un guide pédagogique pour aider les chercheurs, professionnels de santé et acteurs académiques à maîtriser le pré-traitement et la vérification des extractions de données issues de la base principale du SNDS. Il inclut des cas pratiques basés sur des jeux de données synthétiques du DCIR et du PMSI, accompagnés de corrections pour permettre une auto-évaluation et renforcer les compétences en analyse de données de santé.

Ce programme public permet de suivre la vaccination contre la coqueluche des femmes enceintes en France. Il identifie les femmes enceintes à partir des données du Système National des Données de Santé (SNDS), détermine leur période de grossesse et vérifie leur statut vaccinal. Les résultats sont agrégés par mois d'accouchement et par territoire (département, région, France entière), avec des taux de vaccination calculés sur 12 mois glissants. Les données sont historisées pour un suivi temporel.

Verde est un plugin GDB écrit en Python qui vise à aider les développeurs lors des sessions de débogage interactif en utilisant la vérification d'exécution. Il permet de détecter les violations de propriétés et de déclencher des actions spécifiques lorsque cela se produit, comme donner accès au développeur au prompt du débogueur.

Le projet tousanticovid-verif-android est une application développée par IN Groupe permettant la vérification des passes sanitaires dans le cadre de la Loi de Sortie de l'Etat d'Urgence Sanitaire du 2 juin 2021. Il existe deux modes de fonctionnement : un mode lite pour des vérifications courantes et un mode étendu pour des vérifications plus poussées, réservé aux personnes habilitées. Les données sont traitées en local sur le smartphone, sans connexion internet.

Module Lutece dédié à l'importation automatisée de rendez-vous depuis des fichiers Excel. Il permet de valider, traiter et importer des données d'agenda dans des formulaires de prise de rendez-vous. Le système vérifie les doublons, les formats et les contraintes métiers avant toute création. Les erreurs sont reportées et peuvent être corrigées ou relancées manuellement. Les données personnelles sont purgées après une période de rétention définie.