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.

Cette action GitHub permet d'automatiser la vérification et la mise à jour des fichiers README pour des projets Rust. Elle utilise l'outil cargo-rdme pour s'assurer que la documentation du projet est toujours synchronisée avec le code source, réduisant ainsi les erreurs de maintenance et améliorant la qualité de la documentation.

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.

Projet pédagogique visant à évaluer les compétences techniques des étudiants en programmation. Il permet de soumettre des solutions à des problèmes algorithmiques et de recevoir une correction automatisée. Le système analyse le code soumis, vérifie sa conformité aux exigences et fournit un retour détaillé pour aider à l'apprentissage.

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.

Bibliothèque d'actions GitHub composites partagées pour les projets RMéS, permettant d'uniformiser les processus de release, de qualité et de publication. Elle simplifie la gestion des versions, des tests et des déploiements pour les projets Java et JavaScript en automatisant les tâches répétitives comme la génération de tags, la vérification du code et la construction d'images Docker.