Ce projet fournit une description complète de robots Staubli, incluant des fichiers de modélisation et des maillages, pour une utilisation dans des systèmes de simulation tels que MuJoCo.

Système de prétraitement dédié à la préparation des données d'entrée pour le modèle WRF (Weather Research and Forecasting). Il permet de configurer les domaines de modélisation, d'interpoler des données statiques et météorologiques, et de convertir des fichiers GRIB en formats compatibles avec WRF. Utilisé principalement par les météorologues et les chercheurs en sciences de l'atmosphère pour générer des simulations climatiques précises.

Projet académique dédié à l'analyse statique de code Java et à la modélisation de systèmes de fichiers. Il permet de vérifier la conformité des noms de classes, méthodes et attributs aux conventions de nommage, d'évaluer la qualité du code et de générer des rapports structurés sur les structures logicielles. Utilisé dans un cadre pédagogique pour enseigner les bonnes pratiques de développement et la modélisation UML.

SIMCraft est un cadre de simulation modulaire dédié aux systèmes d'imagerie astronomique dispersive. Il permet de modéliser et simuler des télescopes, des sources lumineuses, des profils de dispersion, des fonctions d'étalement de point (PSF), des détecteurs et des fonds de ciel. Les utilisateurs peuvent configurer des simulations complexes via des fichiers TOML et visualiser les résultats avec une interface graphique interactive ou des outils en ligne de commande.

Bibliothèque et langage dédié à la création, l'édition et l'export d'automates finis. Permet de définir des états, des transitions et des règles pour valider des entrées selon des critères prédéfinis. Utilisé pour modéliser des processus logiques, des validations de formats ou des systèmes de reconnaissance de motifs. Facilite l'intégration dans des applications Java via une API simple et des fichiers de configuration structurés.

Outil dédié à la génération automatique de fichiers .gspn pour le vérificateur de modèles COSMOS. Il permet de modéliser des lignes de production industrielles sous forme de modèles DTMC (chaînes de Markov à temps discret) avec une politique de service bloquante. Les fichiers générés sont utilisés pour analyser et valider des systèmes de production complexes, facilitant ainsi l'optimisation et la vérification de leur fonctionnement.

Ce projet open source fournit une suite d'outils logiciels pour la modélisation, la conversion et l'expansion de fichiers décrivant des machines accélératrices de particules. Il permet aux ingénieurs et chercheurs en physique des accélérateurs de manipuler des fichiers techniques dans différents formats (AML, XSIF, MAD-8, MAD-X, SAD, Bmad) pour faciliter l'interopérabilité entre systèmes et optimiser les configurations expérimentales.

Ce projet permet de générer des fichiers URDF (Unified Robot Description Format) pour modéliser des robots, notamment des bras robotiques comme le SCARA. Il offre également des outils pour visualiser ces modèles en 3D, facilitant ainsi la conception et le prototypage de systèmes robotiques.

Ce projet permet de concevoir, analyser et visualiser des automates finis. Il offre un système de modélisation pour représenter des états et des transitions entre eux, avec la possibilité de lire des fichiers de configuration (.afr) pour construire l'automate. Il génère également des fichiers graphiques (.dot) pour visualiser les automates sous forme de graphes, facilitant ainsi leur compréhension et leur analyse.

Ce projet permet de convertir des fichiers au format .osim, utilisés pour modéliser des systèmes biomécaniques dans OpenSim, en fichiers .urdf standardisés pour la robotique. Il facilite ainsi l'échange et l'utilisation de modèles musculo-squelettiques dans des environnements de simulation robotique ou d'analyse du mouvement. L'outil cible principalement les chercheurs et ingénieurs en biomécanique et robotique.