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.

Outil d'assistance au développement pour les projets basés sur Lutece 8. Il automatise les tâches de migration, de vérification de conformité et d'optimisation des performances. Permet aux agents de codage (Claude Code, Codex, etc.) de suivre des règles et scripts prédéfinis pour garantir la qualité et la compatibilité des projets Lutece. Fournit des compétences spécifiques pour des tâches comme la gestion du cache, des indexations ou des workflows.

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.

Catala est un langage de programmation dédié à la rédaction et à l'automatisation de règles juridiques et réglementaires. Il permet aux juristes, développeurs et experts métiers de formaliser des textes de loi en code exécutable, facilitant ainsi leur interprétation, leur vérification et leur application dans des systèmes informatiques. L'outil vise à réduire les ambiguïtés et les erreurs d'interprétation tout en accélérant les processus de conformité.

Catala est un langage de programmation dédié à la rédaction et à l'analyse de textes législatifs. Il permet de définir des règles complexes de manière claire et précise, et de générer automatiquement du code à partir de ces règles. Catala vise à améliorer la fiabilité et la transparence des systèmes législatifs en automatisant certaines tâches de vérification et de mise en œuvre.

Bibliothèque Python dédiée au décodage et à la vérification des codes 2D-DOC (DataMatrix) présents sur des documents administratifs français. Elle permet d'extraire et de structurer les données des avis d'impôts, permis de conduire, cartes grises et autres documents officiels, tout en validant leur authenticité via une signature cryptographique. Utilisée pour automatiser la lecture et la vérification de documents sécurisés émis par l'ANTS.

Ce projet pédagogique vise à enseigner les bases du développement Java à travers la création de tests unitaires, la compilation de code source et la génération d'exécutables. Il permet aux étudiants de valider leurs implémentations via un framework de test dédié, favorisant ainsi la compréhension des bonnes pratiques de développement et de l'automatisation des vérifications.

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.

Ce projet pédagogique vise à fournir une base de code en langage C pour l'apprentissage des tests unitaires. Il inclut des algorithmes de tri classiques (sélection, insertion, fusion) et des fonctions utilitaires. L'objectif est de permettre aux étudiants d'implémenter des tests unitaires pour valider le bon fonctionnement de chaque fonction, en utilisant la bibliothèque Check pour automatiser les vérifications et mesurer la couverture de code.

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.