MAR-CI est un système d'intégration continue dédié à la validation et au test automatisé des codes sources du projet MAR. Il permet de vérifier la conformité des structures de fichiers, d'exécuter des pipelines de compilation et de test sur différentes configurations matérielles et logicielles, et de gérer des accès sécurisés aux dépôts privés. L'outil facilite la collaboration entre développeurs en automatisant les vérifications et en fournissant des rapports détaillés sur les résultats des tests.

Ce projet vise à transformer les pratiques des ministères sociaux en intégrant l'intelligence artificielle générative dans leurs processus métiers. Il accompagne les équipes (architectes, développeurs, designers, chefs de projet) dans l'adoption d'outils et de méthodes pour automatiser des tâches, améliorer la qualité des livrables et optimiser la collaboration. L'objectif est de créer une usine logicielle où chaque étape du cycle de développement combine un rail agentique (génération) et un rail déterministe (vérification), tout en formant les utilisateurs à ces nouvelles pratiques.

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.

Ce projet est une plateforme dédiée à l'analyse et à la révision de code source. Il permet aux équipes de développeurs de collaborer efficacement en automatisant les vérifications de qualité, en centralisant les commentaires et en facilitant les retours sur les contributions. Destiné aux environnements académiques ou professionnels, il optimise le processus de développement logiciel en offrant des outils intégrés pour le suivi des bugs, l'évaluation des performances et la gestion des versions.

Framework dédié à la description et à la validation de services logiciels. Il permet aux développeurs de définir des services de manière simple et structurée, facilitant ainsi la création de tests unitaires et l'automatisation des vérifications de conformité. Son approche modulaire et ses outils intégrés améliorent la fiabilité et la maintenabilité des applications.

Suite de tests automatisés pour le logiciel MARTY, dédié à la vérification des calculs en physique des particules. Ce projet évalue la cohérence des amplitudes de diffusion, des largeurs de désintégration et des coefficients de Wilson dans divers modèles théoriques, notamment le Modèle Standard et ses extensions comme le MSSM. Les tests couvrent des processus à l'ordre des arbres et à une boucle, en comparant les résultats numériques avec des références théoriques ou expérimentales.

Ce module Puppet permet de gérer le cycle de vie complet des fichiers archives : téléchargement depuis diverses sources (HTTP, FTP, S3, Google Cloud Storage, etc.), vérification des checksums pour garantir l'intégrité, extraction automatique des contenus, et nettoyage des fichiers temporaires après utilisation. Il simplifie le déploiement de logiciels ou de données en automatisant des tâches complexes et répétitives, tout en offrant des options de personnalisation pour s'adapter à différents environnements techniques.

Pytest est un framework de test unitaire pour Python qui permet aux développeurs d'écrire des tests simples et extensibles. Il facilite l'automatisation des vérifications de code, la détection précoce des bugs et l'amélioration de la qualité des logiciels. Utilisé par des millions de développeurs, il est reconnu pour sa simplicité et sa puissance.

Outil d'intégration continue dédié aux projets Python 3.5, permettant d'automatiser les tests, la vérification du code et la génération de rapports. Facilite la détection précoce des erreurs et améliore la qualité des livrables logiciels grâce à des pipelines configurables et des exécutions planifiées.

Outil d'intégration continue dédié à la documentation et à la vérification de code. Il automatise la génération de documentation technique, la détection d'erreurs et l'application de bonnes pratiques pour les projets logiciels. Facilite la collaboration entre développeurs en standardisant les processus de validation et de publication.