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.

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.

Ce projet développe une représentation symbolique des structures de Kripke probabilistes issues de la logique épistémique dynamique. Il permet de modéliser et vérifier des systèmes complexes où des agents interagissent et acquièrent des connaissances. Les outils implémentés facilitent l'analyse de scénarios comme les jeux de cartes ou les problèmes classiques de logique, en offrant une approche efficace pour les calculs de vérification et d'expérimentations.

Ce projet open source permet de modéliser, simuler et analyser des arbres de comportement (Behavior Trees) pour des systèmes réactifs ou des processus décisionnels. Il utilise des structures de données répliquées (CRDT) pour permettre une collaboration en temps réel et une résolution automatique des conflits. Idéal pour les applications robotiques, les jeux vidéo ou les systèmes automatisés nécessitant une logique comportementale complexe et distribuée.