Plateforme sécurisée dédiée à l'échange de documents et à la gestion des contrôles administratifs. Elle permet aux équipes de contrôle de créer des espaces de dépôt étanches, de concevoir des questionnaires, et de suivre les réponses déposées par les organismes interrogés. Les utilisateurs bénéficient d'alertes automatiques et d'une visualisation structurée des données, simplifiant ainsi les processus de vérification et de collaboration.

Why3 est une plateforme pour la vérification déductive de programmes. Elle fournit un langage riche pour la spécification et la programmation, appelé WhyML, et s'appuie sur des preuves externes, automatisées et interactives, pour prouver les conditions de vérification. Why3 dispose d'une bibliothèque standard de théories logiques et de structures de données de base telles que des tableaux, des files d'attente et des tables de hachage.

Ce projet est un validateur de messages HL7 v3 et de structures de données de santé. Il vérifie la conformité des messages aux profils IHE et garantit la validité des structures de données. Il est basé sur des règles et des profils définis dans des spécifications techniques et peut être utilisé pour tester et valider les échanges de données de santé.

Passe Marché est une plateforme publique dédiée à la gestion simplifiée des marchés publics. Elle permet aux acheteurs publics de diffuser leurs consultations et de recevoir des candidatures structurées et complètes, pré-remplies à partir de sources officielles. Le service automatise la vérification des documents légaux et techniques, réduit les échanges administratifs et garantit la conformité des dossiers aux exigences réglementaires. Les données sont accessibles via des API sécurisées pour une intégration fluide avec les profils acheteurs.

Le projet polyhash2022 est une solution de stockage et d'analyse de données, offrant des fonctionnalités de hachage et de vérification d'intégrité. Il permet le traitement efficace de données structurées, assurant ainsi la sécurité et la fiabilité des informations gérées.

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.

La Taupe est un outil permettant d'extraire des données à partir de documents 2D-Doc, de vérifier leur signature et de les convertir en images. Les 2D-Doc sont des codes-barres 2D contenant des informations structurées, utilisés par l'administration française.

Ce projet concerne l'implémentation et l'étude des tables de hachage, des structures de données permettant de vérifier rapidement la présence d'un élément. Il aborde la gestion des collisions et propose des classes Kotlin pour une utilisation simplifiée.

Passe Marché est une plateforme publique qui facilite la publication des consultations et la réception des candidatures pour les marchés publics. Elle permet aux acheteurs publics de paramétrer leurs marchés, de recevoir des dossiers de candidature structurés et complets, et d'accéder à des données vérifiées issues de sources officielles. L'objectif est de réduire les échanges administratifs, d'améliorer la fiabilité des informations et de gagner du temps dans le processus de sélection des fournisseurs.

Validata-Badge est un outil permettant de vérifier la structure et le contenu de données, de calculer le taux d'erreur et d'afficher des badges de validation en fonction des résultats.