Proposition de protocole Cluster Exposure Verification (Cléa) pour avertir les participants d'événements privés ou les personnes présentes dans des lieux commerciaux ou publics s'ils ont été exposés au COVID-19. Le protocole implémente des spécifications légères pour la génération de codes QR dynamiques et leur décodage.

Ce projet permet de délivrer des badges numériques certifiés Open Badge 2.0 aux participants d'un événement organisé par l'Agence du Numérique en Santé. Ces badges attestent des compétences, des rôles ou des participations spécifiques, et sont intégrés directement dans des images PNG pour une vérification simplifiée. Ils s'appuient sur un standard ouvert pour garantir leur interopérabilité et leur reconnaissance.

Ce projet héberge les scripts d'évaluation utilisés lors de la Première Compétition Internationale sur la Vérification en Temps d'Exécution (CRV 14). Il contient des scripts pour évaluer les outils des participants sur des bancs d'essai spécifiques, ainsi qu'un classeur avec des données brutes et des calculs de scores.

Wikeys est un jeu de société éducatif conçu pour initier les participants aux principes fondamentaux de Wikipédia de manière ludique et interactive. Il permet aux enseignants et animateurs d'aborder des concepts comme la contribution collaborative, la vérification des sources ou la licence libre. Le jeu inclut un dossier pédagogique pour faciliter son utilisation en contexte scolaire ou associatif.

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.

Une implémentation d'un serveur de clés utilisant Why3 et OCaml pour la participation à VerifyThis 2020. Prend en charge un serveur HTTP qui implémente cinq opérations, le stockage permanent de paires email/clé dans le système de fichiers et ne prend pas en charge la sécurité cryptographique.

Ce projet permet de gérer des équipes de cyclistes en facilitant l'organisation des membres, le suivi des inscriptions et la coordination des activités. Il offre des outils pour créer et administrer des groupes, vérifier les accès et consulter les informations des participants, idéal pour les clubs ou associations sportives.

Logiciel de tirage au sort de cadeaux pour Noël. Il permet d'ajouter des participants, de vérifier la disponibilité d'un nom et de générer un tirage au sort circulaire.