Rez-Mež est un outil dédié à l'analyse de la résistance des contre-modèles en logique propositionnelle. Il permet d'évaluer comment des familles d'opérateurs extensifs affectent la robustesse des interprétations initiales d'une formule. Le projet propose également des fonctionnalités pour convertir des formules en forme normale disjonctive (DNF) et pour mesurer des métriques spécifiques comme le delta H ou le nu O. Développé dans le cadre du projet BLaSST, il s'inscrit dans un contexte de recherche académique et industrielle en logique et vérification formelle.

Plateforme dédiée à la supervision et à la visualisation de données industrielles en temps réel. Elle permet aux utilisateurs de surveiller des processus, d'analyser des métriques et de générer des rapports automatisés. Le système inclut des outils de sauvegarde et de restauration pour assurer la continuité des données.

Ce projet industriel vise à transformer des données LiDAR aériennes en métriques de carburant utilisables pour la gestion des risques d'incendie et l'analyse forestière. Il automatise le calcul de paramètres clés comme la densité de végétation ou la hauteur des arbres, permettant une cartographie précise à grande échelle. Les outils développés s'intègrent dans des workflows d'analyse environnementale pour les gestionnaires de forêts et les services de prévention des incendies.

Client logiciel conçu pour transmettre des données métriques, des histogrammes et des logs vers un système centralisé. Permet l'envoi de messages structurés via un protocole de communication asynchrone, facilitant la collecte et l'analyse de données en temps réel pour des applications techniques ou industrielles.

Outil open source conçu pour benchmarker et comparer des modèles d'intelligence artificielle dédiés au secteur industriel. Il permet de configurer des jeux de données de référence, d'évaluer des réponses générées par des LLMs, et de mesurer leur performance via des métriques personnalisables. Les résultats sont exportés pour une analyse approfondie.