Bibliothèque logicielle permettant l'analyse et la manipulation de modèles logiques décomposables (d-DNNF). Elle offre des fonctionnalités pour compter, énumérer et échantillonner des modèles, ainsi que pour accéder directement aux données sous des hypothèses spécifiques. Utilisée principalement en recherche et en intelligence artificielle pour des tâches de raisonnement automatisé et de vérification de modèles.

Infra-loops est un outil permettant d'automatiser le déploiement et la gestion d'infrastructures dans le cloud, en se basant sur des configurations prédéfinies. Il offre également des fonctionnalités de surveillance et de vérification de l'état des déploiements, permettant une gestion proactive et efficace des infrastructures.

Ce projet consiste en une suite de tests automatisés (end-to-end et API) pour valider les fonctionnalités d'authentification et d'accès aux salons du service Tchap, basé sur la matrice Matrix. Il permet de vérifier la conformité des modules d'authentification (MAS), des règles d'accès aux pièces, et de la gestion des comptes utilisateurs via des scénarios de recette. Les tests couvrent aussi la validation des emails et des flux d'authentification OIDC avec Keycloak.

PressureGauge est un système dédié à la surveillance et au contrôle de la pression dans des environnements industriels. Il permet de gérer des capteurs physiques, d'initialiser et de supprimer des dispositifs, et de vérifier les autorisations d'accès aux fonctionnalités. Le projet facilite l'automatisation des processus en temps réel pour garantir la sécurité et l'efficacité des installations.

Ce projet regroupe des tests automatisés pour valider les fonctionnalités du framework Syd, un outil open source dédié au traitement et à la gestion de données médicales. Il permet de vérifier l'intégration de modules, l'insertion de fichiers DICOM, le traitement d'images médicales et l'analyse de régions d'intérêt (ROI). Les tests couvrent également des opérations de base comme les requêtes de base de données et la gestion de fichiers.

Ce projet permet de positionner avec précision des équipements mécaniques en contrôlant des moteurs. Il offre des fonctionnalités pour lire et écrire des positions, vérifier les autorisations de mouvement et arrêter les dispositifs en cas de besoin. Utilisé dans des environnements industriels ou scientifiques, il facilite l'automatisation et la gestion des mouvements mécaniques.

Outil dédié à l'automatisation et à la validation des tests logiciels. Il permet de configurer des environnements de test, d'exécuter des suites de tests et de vérifier le bon fonctionnement des fonctionnalités développées. Idéal pour les équipes de développement et de qualité souhaitant optimiser leurs processus de validation.

Ce projet est un ensemble de tests automatisés pour valider le bon fonctionnement des fonctionnalités d'un logiciel. Il permet de vérifier la conformité du code par rapport aux exigences définies, en exécutant des scénarios prédéfinis pour détecter d'éventuelles erreurs ou régressions. Utilisé dans un cadre pédagogique, il facilite l'apprentissage des bonnes pratiques de développement et de test.

Projet dédié à l'automatisation des tests end-to-end pour valider le bon fonctionnement des applications. Il permet de simuler des interactions utilisateur et de vérifier que les fonctionnalités clés répondent aux attentes avant leur mise en production.