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.

EmfviewsSQL est un projet dédié à la modélisation de systèmes d'information et à la génération de code à partir de ces modèles. Il permet de gérer des métamodèles et de les utiliser pour créer des vues adaptées aux besoins spécifiques de chaque projet.

Modisco est un projet dédié à l'analyse de code source et à la génération de métamodèles. Il permet de rechercher des modèles dans le code et de les représenter de manière visuelle, facilitant ainsi la compréhension et l'analyse du code.

Ce projet vise à générer un modèle de code source caractérisé avec des métriques d'énergie. Un modèle est généré à l'aide du framework MoDisco. Le code source est instrumenté et exécuté pour collecter des métriques de manière dynamique. Les métriques sont ensuite analysées, modélisées à l'aide du métamodèle de métriques structurées (SMM) et liées au modèle Java.

Sintaks est un outil permettant de générer des éditeurs de code, des parseurs et des printers à partir de métamodèles et d'une grammaire spécifiée. Il utilise des modèles de mappage bidirectionnel pour prendre en charge les transformations modèle-à-texte et texte-à-modèle.

Ce projet est une bibliothèque de modélisation pour les réseaux électriques conformes à la norme IEC61970 CIM 17v34. Il permet de décrire et de gérer des équipements de production d'énergie, tels que des générateurs, des transformateurs, des lignes électriques, ainsi que les paramètres électriques associés.

Le projet riseclipse-metamodel-cgmes-2-4-15 est une bibliothèque de modélisation pour les réseaux électriques basée sur la norme CGMES 2.4.15 de l'IEC. Il fournit des classes et des interfaces pour représenter les différents équipements et paramètres d'un réseau électrique, tels que les générateurs, les transformateurs, les lignes et les charges.