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.

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.

Ce projet contient des scripts et des fonctions utilisées pour le papier STACOM2022 intitulé 'Unsupervised Echocardiography Registration through Patch-based MLPs and Transformers'. Il inclut des modèles proposés de MLP et Transformers à base de patchs, des fonctions utilitaires, des générateurs de données spécifiques au jeu de données CAMUS, et un script d'entraînement de modèle.

Ce projet vise à étudier l'efficacité des modèles Transformer pour la détection d'objets en utilisant peu d'annotations, dans le cadre de la recherche en vision par ordinateur.

Ce projet est dédié à la transformation de la voix dans le cadre du projet COMPRISE. Il inclut une bibliothèque Python pour la conversion de voix utilisant des méthodes VLTN et une méthode d'anonymisation de la voix utilisant des x-vecteurs et des modèles de forme d'onde neuronaux.

Ce benchmark contient des transformations et des requêtes qui s'adressent à différentes phases d'un processus de génie logiciel axé sur la modélisation pour la rétro-ingénierie de systèmes legacy Java. Il utilise le découvreur Java MoDisco pour extraire des modèles Java jusqu'à 1,3 Go, qui se conforment au métamodèle Java défini dans MoDisco.

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.

Ce benchmark inclut des cas d'utilisation de validation et de transformation de modèles dans le contexte de l'industrie de la construction. Il comprend également un ensemble de modèles EMF-compatibles BIM (Building Information Model) avec une taille croissante allant jusqu'à 1 Gb. Les modèles BIM sont décrits en utilisant la spécification IFC (Industry Foundation Classes), un format librement disponible pour décrire, échanger et partager des informations typiquement utilisées dans le secteur de la gestion des bâtiments et des installations.

Kermeta est un langage de métamodélisation et d'exécution qui permet de définir des métamodèles, des langages spécifiques à un domaine et des transformations de modèles. Il offre des outils pour l'interprétation et l'exécution de ces langages, ainsi que des plugins pour les environnements de développement intégrés.

Ce package permet l'exploitation et la transformation des fichiers DOC contenant les décisions de justice du Conseil d'État. Il sert à préparer les données pour la modélisation du langage (language modelling) et la reconnaissance d'entités nommées (named entity recognition).