Le projet ipanema-proofs est une solution dédiée à la vérification de l'intégrité des données et à la génération de preuves numériques. Il permet de suivre les modifications apportées aux données et de générer des rapports détaillés sur ces modifications.

Preuve de concept (POC) utilisant le système de publication Quarto pour la génération de sites web bibliothèque numérique, permettant la navigation et la visualisation de données déposées sur l'entrepôt Nakala. Ce POC démontre la capacité de Quarto à traiter une grande diversité de contenus scientifiques, avec des exemples de visualisation d'images, de spatialisation, et de statistiques.

ESignSante est une API REST de signature et de vérification de signature développée par l'Agence du Numérique en Santé. Elle permet de signer des documents aux formats XMLDSig, XADES et PADES BASELINE B, avec des signatures enveloppantes ou enveloppées. La vérification de signatures s'appuie sur les règles et procédures définies par l'ETSI. L'API offre également la possibilité de générer une preuve de vérification de signature signée en XADES BASELINE B enveloppée.

Bibliothèque de support pour l'assistant de preuve Coq, fournissant des fichiers vernaculaires pour l'importation des certificats générés par Gappa et un tactic `gappa` pour appeler Gappa sur le but courant dans Coq. Gappa est un outil destiné à aider à la vérification et à la preuve formelle de propriétés sur des programmes numériques utilisant des calculs arithmétiques en virgule flottante ou à point fixe.