Service public dédié à la validation et à la correction des fichiers d'adresses des communes françaises. Il permet aux collectivités locales de vérifier la conformité de leurs bases de données d'adresses (BAL) et d'obtenir des rapports détaillés sur les erreurs détectées. Le système propose également des corrections automatiques pour les données non conformes.

Le validateur de fichier Base Adresse Locale est un outil permettant de contrôler et valider des fichiers CSV produits conformément au modèle de données de la Base Adresse Nationale. Il vérifie la structure du fichier, l'encodage, les séparateurs, et la présence de tous les champs du modèle.

Ce projet permet de valider et de vérifier la conformité des messages d'audit échangés entre systèmes. Il génère des rapports structurés et formatés pour faciliter l'analyse et le suivi des données. L'outil s'adresse principalement aux équipes techniques et aux administrateurs systèmes qui doivent s'assurer que les messages respectent les normes et standards en vigueur.

Ce projet permet de valider et vérifier la conformité des modèles de données structurées selon des règles prédéfinies. Il s'adresse aux entreprises ou développeurs souhaitant automatiser le contrôle de leurs données avant intégration ou publication. L'outil identifie les incohérences, erreurs ou non-conformités pour garantir l'intégrité et la qualité des données manipulées.

Service public national visant à référencer l'intégralité des adresses du territoire français pour les rendre accessibles et exploitables par tous. Il permet aux communes de mettre à jour leurs bases locales, aux citoyens de signaler des erreurs et aux acteurs publics ou privés d'utiliser ces données pour des analyses, des raccordements ou des interventions d'urgence. La plateforme propose des outils de géocodage, de validation et de téléchargement des données.

COQQTL est un projet visant à porter l'intermédiaire de représentation FIRRTL pour les langages de description matérielle (HDL) dans l'assistant de preuve Coq. Il permet de vérifier formellement des circuits électroniques en utilisant des méthodes de preuve mathématique, garantissant ainsi leur correction et leur fiabilité. Le projet s'adresse principalement aux chercheurs et ingénieurs en électronique et en informatique qui souhaitent valider des architectures matérielles de manière rigoureuse.

Portail de données scientifiques dédié au centre IRD de Nouméa, permettant l'accès et la diffusion des travaux de recherche océanographique et environnementale. Ce service public propose une interface centralisée pour consulter des ressources, publications et données issues des missions scientifiques menées dans la région Pacifique. Il s'adresse aux chercheurs, étudiants et acteurs locaux souhaitant accéder à des informations validées et structurées.

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.

Datamap est un outil collaboratif permettant à plusieurs utilisateurs de construire et gérer des tableaux de données structurées. Il facilite la création, la modification et le partage de jeux de données entre équipes autorisées. Les données peuvent être exposées en format ouvert (JSON) pour une réutilisation par d'autres outils comme Dataroom. L'accès est contrôlé via des adresses emails validées.

Ce projet agit comme un proxy pour sécuriser l'accès à une instance de Metabase, protégée par un filtre d'adresses IP. Il permet de rediriger les anciennes URL de documentation vers de nouvelles, garantissant ainsi la préservation du référencement naturel (SEO) et la validité des liens intégrés dans les communications par email.