Ce projet est un outil d'exploration de données météorologiques fourni par METEO FRANCE. Il permet de gérer et de visualiser des données météorologiques sur une période de 3 ans, couvrant deux régions de la France. Le projet comprend des échantillons de données, un package utilitaire et des notebooks pour aider à l'exploration et à la vérification des différents types de données.

Outflow est un framework permettant de construire et d'exécuter des workflows de tâches. L'API est simple tout en offrant un contrôle complet sur la définition et l'exécution des workflows. Il prend en charge l'exécution parallélisée et distribuée, dispose d'une interface de ligne de commande centralisée pour les commandes de pipeline, d'un accès intégré à une base de données avec des modèles SQLAlchemy et des migrations Alembic, d'un enregistrement des exécutions et des exceptions pour la traçabilité, ainsi que des vérifications strictes de type et d'entrée/sortie pour un pipeline robuste.

Should est un programme écrit en Python qui permet de tester des applications en ligne de commande sur des systèmes de type Unix. Il vérifie la sortie standard ou un fichier spécifié et recherche des expressions exactes ou des expressions régulières, en comptant éventuellement leur nombre d'occurrences. Il peut également tester des données JSON. should génère des rapports aux formats TAP et JUnit-like XML.

Ce projet fournit un plugin pour Lutece permettant de mettre en place un service de vérification de l'état de santé (healthcheck) d'une application web via REST. Il implémente l'API eclipse / microprofile-health et permet de configurer différents types de vérifications, tels que l'accès à la base de données, l'utilisation du processeur et de la mémoire, et un état forcé.

Ce projet rassemble les vérifications de faits et les met à disposition via un flux RSS. Les métadonnées associées aux vérifications de faits et aux affirmations qu'elles investiguent doivent être au format JSON-LD et suivre les schémas ClaimReview et MediaReview, couramment utilisés par les vérificateurs de faits. Les métadonnées enrichies à partir des plateformes de médias sociaux nécessitent l'invention de certaines nouvelles propriétés et types ClaimReview, dont le schéma est documenté sur le référentiel GitHub AFP-Medialab.

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.

TangoLib est une bibliothèque dédiée à la gestion et au test d'attributs dynamiques pour des systèmes industriels ou scientifiques. Elle permet de simuler et valider le comportement de variables de différents types (scalaires, spectres, chaînes, booléens) dans des environnements Tango, un framework utilisé pour le contrôle d'instruments. L'outil facilite le développement et le débogage en vérifiant la cohérence des données et des événements associés.

Outil d'auto-évaluation permettant aux entreprises de vérifier leur éligibilité aux exonérations fiscales en Quartiers Prioritaires de la Ville (QPV). Le simulateur guide l'utilisateur à travers 5 étapes : profil de l'entreprise, localisation, type d'activité, effectif et chiffre d'affaires. Il s'appuie sur des données officielles (GeoJSON QPV 2024, NAF, SIRET) pour fournir un résultat indicatif en temps réel, facilitant ainsi les démarches administratives et comptables.

Outil Unix simple permettant de décrire une liste de nombres, typiquement issus de commandes comme `seq`, sous forme de règles compréhensibles. Il facilite l'inspection visuelle et la vérification de séquences numériques en les reformulant de manière compacte ou détaillée. Idéal pour analyser des sorties de scripts ou des données générées automatiquement.

Ce serveur, écrit en TypeScript et utilisant Express.js, est basé sur une base de données PostgreSQL et l'ORM Prisma. Il propose des endpoints pour vérifier l'état du serveur et gérer les utilisateurs.