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.

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 cowbots a pour but de détecter les erreurs et d'automatiser la vérification des données dans Ckan-of-Worms, offrant une surveillance en temps réel pour une meilleure gestion des données.

Ce service public propose une page de vérification de sécurité pour confirmer que l'utilisateur est un humain et non un bot. Il permet de protéger les services en ligne et les données des utilisateurs contre les accès non autorisés ou automatisés, garantissant ainsi un environnement sécurisé pour les interactions avec les services publics.

Ce projet est une solution dédiée à la gestion et à l'automatisation des bases de données relationnelles. Il met en œuvre Flyway pour gérer les migrations de schémas de bases de données et PgTAP pour exécuter et vérifier les tests de bases de données.

Ce projet héberge des scripts d'automatisation pour schema.data.gouv.fr, développés en tant que DAG Airflow. Ils permettent de générer la documentation liée aux schémas, de vérifier la cohérence des ressources avec un schéma et de générer des recommandations pour des jeux de données sur data.gouv.fr.

Projet visant à automatiser les tests de services fournissant des données sismiques et géophysiques, permettant de vérifier leur bon fonctionnement et leur conformité aux attentes du Réseau Sismologique et Géodésique Français (RESIF).