K3 est un langage d'action construit sur Xtend pour l'exécution de modèles métiers et l'extension de métamodèles Ecore.

Ce projet est une image Docker basée sur docker-openvscode-server-cpp, avec des outils supplémentaires pour les exercices du cours 3IF4030. Les outils inclus sont rpcbind, JDK 17, Maven, gRPC, ActiveMQ et Axis2. Les squelettes de fichiers et les README des exercices sont également inclus.

Franca-gen est un outil de génération de code basé sur Java, conçu pour créer des implémentations de protocoles à partir de spécifications franca IDL. Il prend en charge plusieurs langages de programmation et permet de générer des stubs et des squelettes d'implémentation.

Dépôt de code source pour le système de génération de correctifs Itzal, axé sur l'open-science. Il permet le développement et l'expérimentation de systèmes dédiés à la génération automatique de correctifs pour des logiciels.

Projet dédié à la démonstration de l'utilisation de divers outils de modélisation, de génération de code et de définition de langages spécifiques à un domaine. Il permet de décrire des systèmes IoT et de générer du code à partir de ces descriptions.

Outil de surveillance et de journalisation pour les modèles de systèmes exécutés sur GraalVM. Prend en charge l'importation de packages MoniLog, de fichiers de langages de programmation externes et la déclaration d'événements personnalisés. Permet de définir des moniloggers avec des conditions et des actions spécifiques, y compris l'exécution d'expressions de langage et l'appel d'appenders pour l'impression sur la console ou dans des fichiers.

Intégration de MoniLog dans NabLab pour l'analyse et la simulation de codes numériques sur GraalVM.

Le projet riseclipse-validator-cgmes-2-4-15 est un outil de validation pour les modèles CGMES 2.4.15, qui suivent la norme IEC. Il permet de vérifier la conformité des modèles et d'afficher les messages d'erreur et d'avertissement associés.

Le projet riseclipse-validator-scl2003 est un outil de validation de modèles SCL (Substation Configuration Language) basé sur les normes IEC 61850. Il permet de vérifier la conformité des fichiers SCL et de détecter d'éventuelles erreurs ou warnings grâce à des validateurs spécifiques.