Ce projet démontre un fonctionnement de sujet de TP conçu pour l'enseignement des technologies web. Il utilise des classes et des ID sur les éléments HTML pour afficher ou masquer des parties de l'énoncé via CSS. Les étudiants peuvent exécuter des actions de modification CSS en déclenchant des fonctions JavaScript lors de l'événement onclick. Le projet peut générer du code HTML à partir d'un fichier Markdown source en utilisant pandoc.

OpenMOLE est une plateforme open-source développée depuis 2008 pour l'étude et l'optimisation de modèles numériques. Elle offre des outils pour exécuter, explorer, diagnostiquer et optimiser des modèles, en tirant parti d'environnements d'exécution distribués. Avec OpenMOLE, vous pouvez explorer des modèles déjà développés dans divers langages (Java, exécutables binaires, NetLogo, R, SciLab, Python, C++, etc.).

Ce projet est un tutoriel qui présente les outils et les concepts de l'ingénierie de langages logiciels pour le développement et l'intégration de langages de modélisation spécifiques à un domaine. Il utilise le studio GEMOC pour démontrer les fonctionnalités offertes par l'écosystème Eclipse (EMF/Ecore, Xtext, Sirius) et introduit les fonctionnalités avancées pour étendre un langage de modélisation avec une sémantique d'exécution bien définie, y compris les contraintes de concurrence formelles et les modèles de coordination.

Uica-toy est un simulateur qui permet de prédire le débit d'exécution de blocs de base sur les microarchitectures Intel récentes. Il offre également des informations sur la manière dont le code est exécuté. uica-toy est basé sur les données de uops.info, combinées avec un modèle de pipeline détaillé. Il suppose que tous les accès mémoire se traduisent par des coups au cache.

Le dépôt alvis-guidelines fournit des documents pour comprendre et utiliser AlvisNLP, un moteur d'inférence basé sur des règles et des faits. Il décrit l'architecture du moteur, le modèle de données, la manière d'intégrer de nouveaux modules et de définir des plans pour l'exécution.

MDE4RTS est un outil d'analyse d'impact de modifications de code et de sélection de tests de régression pour les projets Maven avec code source Java. Il propose deux approches : une basée sur le modèle, qui exécute les cas de test après l'instrumentation du bytecode et analyse les traces d'exécution pour construire un modèle, et une autre basée sur la trace, qui génère le modèle statique avec MoDisco et écrit les traces d'exécution dans une file d'attente topic-based pour l'analyse d'impact. La sélection de tests de régression peut être effectuée entre le dernier commit git et l'état actuel du code ou entre un commit précédent et l'état actuel du code.

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.

GEMOC Studio est une plateforme de développement et d'exécution de langages formels, permettant la modélisation, la simulation et le débogage de systèmes concurrents. Il intègre plusieurs moteurs d'exécution et offre des outils de visualisation et d'interaction avec les modèles.

Outflow est un framework permettant de construire et d'exécuter des workflows de tâches. L'API est simple tout en offrant un contrôle complet sur la définition et l'exécution des workflows. Il prend en charge l'exécution parallélisée et distribuée, dispose d'une interface de ligne de commande centralisée pour les commandes de pipeline, d'un accès intégré à une base de données avec des modèles SQLAlchemy et des migrations Alembic, d'un enregistrement des exécutions et des exceptions pour la traçabilité, ainsi que des vérifications strictes de type et d'entrée/sortie pour un pipeline robuste.

Concerto est un modèle de réconfiguration permettant de décrire des logiciels distribués comme une assemblée évolutive de composants. Chaque composant représente généralement un module d'une application distribuée, mais peut représenter n'importe quoi tant qu'il peut exprimer son interface explicitement. Les ports définissent les services et données fournis ou utilisés par le composant. Chaque composant définit également un cycle de vie représenté par une machine à états. Les transitions entre les états permettent d'exécuter des actions, telles que des fonctions Python.