Ce projet open source propose une plateforme dédiée à la simulation et à la modélisation de phénomènes physiques variés. Il permet aux chercheurs, ingénieurs et étudiants d'analyser des systèmes complexes, de valider des hypothèses théoriques et de visualiser des résultats expérimentaux. L'outil facilite la collaboration entre équipes scientifiques en offrant des fonctionnalités adaptées aux besoins de la recherche fondamentale et appliquée.

Ce projet permet de générer des modèles HL7 à partir de règles définies, de valider ces modèles et de les convertir vers d'autres formats. Il est basé sur des bibliothèques telles que SLF4J, JUnit, FHIR, Java Persistence API, Apache HTTP Server, Mockito et OkHttp.

Ce projet fournit un modèle standardisé pour générer des rapports de validation de données, notamment dans le domaine médical. Il permet de vérifier la conformité des données aux normes FHIR et d'identifier les erreurs ou avertissements lors des validations. Les rapports générés sont structurés et exploitables pour des audits ou des améliorations de qualité.

Outil permettant de générer des fichiers de grille géographique nécessaires aux modèles climatiques comme ORCHIDEE. Il convertit des projections cartographiques (Lambert, Cassini) en coordonnées longitude/latitude et produit des fichiers au format netCDF compatibles avec les modèles. Le projet inclut également des tests pour valider la cohérence des grilles générées par rapport aux sorties de modèles climatiques.

Plateforme open source et collaborative qui recense et documente les paramètres acceptés par les API des modèles d'intelligence artificielle (LLM). Elle permet aux développeurs de valider, comprendre et utiliser correctement les paramètres spécifiques à chaque modèle et fournisseur avant de les intégrer dans leurs applications. Le service inclut des outils pour générer des types statiques, des validations à l'exécution et des interfaces pour faciliter l'intégration dans des projets techniques.

Outil permettant d'automatiser la comparaison de valeurs de variables entre deux exécutions de programmes Fortran. Il injecte du code pour tracer les valeurs des variables et génère des rapports détaillés sur les différences détectées. Idéal pour identifier les causes de divergences dans des simulations ou des calculs scientifiques, facilitant ainsi le débogage et la validation de modèles.

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.

Outil dédié à la modélisation et à la conception d'applications logicielles. Permet aux développeurs et architectes de définir des architectures complexes, de valider des modèles et de générer des structures logiques cohérentes pour des systèmes informatiques.

Outil dédié à la résolution de problèmes de satisfaction de contraintes (CSP) et à la validation de propriétés logiques sur des modèles formels. Il permet d'analyser des systèmes critiques en vérifiant leur cohérence et en générant des contre-exemples ou des preuves de validité. Développé dans le cadre d'un projet de recherche financé par l'ANR, il s'appuie sur des techniques avancées de logique et de satisfiabilité.

Projet dédié à l'étude de la composition du noyau terrestre via la tomographie par oscillation de neutrinos. Il permet de simuler des interactions de neutrinos dans différents modèles de composition du noyau, de calculer des chi-carrés pour évaluer la sensibilité des détecteurs, et de générer des visualisations graphiques pour comparer les résultats. Les outils développés aident les chercheurs en géophysique et en physique des particules à valider ou infirmer des hypothèses sur la structure interne de la Terre.