Ce projet fournit un jeu de données de scripts générés par des modèles de langage (LLM) pour évaluer leur capacité à synthétiser du code Python. Il inclut des tâches de programmation basiques et des métriques de qualité comme BLEU ou CodeBLEU. Le dépôt propose également une version nettoyée des doublons pour des analyses plus précises.

Ce dépôt contient des outils dédiés à l'automatisation des pipelines d'intégration continue pour les projets Guix HPC et leurs canaux non libres. Il facilite la gestion des évaluations de code et des demandes de fusion via des scripts dédiés, en interagissant avec une instance Cuirass pour déclencher des évaluations automatiques. Ces outils optimisent le processus de développement en automatisant les tâches répétitives liées à la validation et à l'intégration du code.

Projet de dépôt de code source sans description métier explicite dans les fichiers analysés. Le nom suggère une évaluation rapide, mais aucune documentation ou cas d'usage n'est disponible pour confirmer son objectif.

Outil dédié à l'analyse et à la cartographie des dépôts de code source pour identifier les logiciels hérités, leurs dépendances et leur écosystème. Il permet aux organisations de mieux comprendre leur patrimoine logiciel, d'évaluer les risques liés aux dépendances obsolètes et de planifier des migrations ou des maintenances ciblées. Utilisé par des institutions publiques et des acteurs du monde académique pour préserver et valoriser le code source.

Projet académique ou professionnel visant à évaluer des compétences en développement logiciel, gestion de code source et automatisation des workflows. Il inclut la mise en place d'un dépôt de code, des tests automatisés et des pipelines CI/CD pour valider les contributions. Destiné à des étudiants ou des professionnels en formation.

Projet de maquette destiné à illustrer et tester les capacités de l'outil Frama-C, un analyseur statique de code C. Ce dépôt sert de support pour des démonstrations pratiques et des évaluations des fonctionnalités avancées du logiciel.

Projet académique destiné à évaluer les compétences en développement logiciel et gestion de code source. Il s'agit d'un dépôt GitLab servant de support pour un exercice pratique, incluant des fonctionnalités de recherche, de gestion de versions et de collaboration via des outils intégrés comme GitLab CI/CD.

Projet de test technique sans vocation métier identifiable. Il s'agit d'un dépôt de code source destiné à évaluer ou valider des fonctionnalités, des configurations ou des bonnes pratiques dans un environnement de développement.

Ce projet vise à analyser et optimiser des graphes de dépendances logiciels issus de dépôts de code source. Il permet de benchmarker des pipelines de traitement, d'évaluer des jeux de données et de mesurer les performances de différents outils d'analyse. Utilisé dans un cadre académique et de recherche, il facilite la compréhension des structures de code et l'identification de points d'amélioration.

Plateforme dédiée aux usagers du CREMI pour gérer et collaborer sur des projets de développement logiciel. Elle permet l'authentification sécurisée via OpenID, l'accès aux dépôts de code via SSH ou tokens, et l'évaluation des projets par les enseignants. Les étudiants peuvent inviter leurs chargés de TD pour une collaboration encadrée.