NeoEMF est un framework de persistance pour les modèles EMF, permettant l'utilisation de différents types de bases de données grâce à des backends spécifiques.

Outil permettant de prédire et gérer les données à charger et à mettre en cache pour des applications EMF et NeoEMF.

Atlanmod Transformation Language (ATL) est un langage de transformation de modèles développé par l'équipe AtlanMod de l'INRIA. Il permet de définir des règles de transformation entre des modèles conformes à des métamodèles différents.

Le projet atsyra-dev vise à développer des plugins et un studio pour l'analyse de modèles formels, la transformation de langages spécifiques de domaines et la génération de code à partir de modèles. Il s'appuie sur des outils tels qu'Xtend, MapStruct, Testcontainers, OSGi, SLF4J, Entity Framework Core, Guava, OpenTracing, Simple Injector, Apache Ant et Markdown.

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.

Dynamic Modisco est un outil permettant d'injecter une analyse basée sur des modèles dans des modèles de code source générés avec MoDisco. Il utilise Spoon pour l'instrumentation du code source et propose une API simple pour spécifier une analyse supplémentaire.

EMFTVM+ est une fourche du dépôt officiel ATL avec une extension de l'EMFTVM pour supporter la transformation de modèles sur le Cloud. EMFTVM+ a été utilisé avec succès dans un prototype pour exécuter des transformations ATL sur MapReduce.

Prototype de gestion et contrôle de la cohérence de modèles de données, permettant la détection et la résolution de conflits.

Générateur aléatoire de modèles EMF, utilisant le backend de persistance NeoEMF. Ce projet est basé sur le code de ce [générateur](https://github.com/atlanmod/mondo-atlanmod-instantiator) existant.

Moteur réactif pour le langage de transformation de modèles ATL. Dans un environnement d'applications à base de modèles, il fonctionne en activant uniquement le calcul strictement nécessaire en réponse aux mises à jour ou demandes d'éléments de modèles. Le calcul est mis à jour lorsque cela est nécessaire, de manière autonome et optimisée en utilisant l'incrémentalité et l'évaluation paresseuse.