CoqTL est un langage de programmation interne (DSL) pour la transformation de modèles dans l'environnement de preuve formelle Coq. Il permet de spécifier des transformations de modèles de manière déclarative et de générer des preuves pour ces transformations. Ce dépôt contient des exemples et des preuves pour CoqTL, ainsi que des générateurs pour créer des métamodèles et des modèles à partir de fichiers Ecore et XMI.

Ce projet vise à faciliter la création et la gestion de modèles de données pour des applications logicielles. Il permet aux développeurs de définir des structures de données complexes de manière déclarative et de générer automatiquement du code ou des configurations à partir de ces modèles. L'objectif est d'accélérer le développement tout en réduisant les erreurs liées à la manipulation manuelle des données.

Ce projet propose une plateforme centralisée pour télécharger des modèles vierges de bordereaux de suivi de déchets (BSDD). Destiné aux entreprises et acteurs de la gestion des déchets, il facilite l'accès aux documents réglementaires nécessaires pour déclarer et suivre les flux de déchets. Les modèles sont générés périodiquement et mis à disposition sous forme de fichiers téléchargeables.

Tagada est un outil spécialisé dans la cryptanalyse différentielle automatisée. Il permet de générer des modèles déclaratifs pour analyser la sécurité des chiffrements par blocs comme AES. Le projet facilite la recherche de caractéristiques différentielles et la visualisation des graphes cryptographiques associés, aidant ainsi les chercheurs et cryptanalystes à évaluer la robustesse des algorithmes de chiffrement.