Plateforme dédiée à la gestion et au développement collaboratif de projets logiciels. Elle facilite la collaboration entre développeurs via des outils d'intégration continue, de suivi des contributions et d'automatisation des tests. Destinée aux équipes techniques, elle permet d'optimiser les workflows de développement tout en assurant une traçabilité complète des modifications et des livrables.

LLVM est une infrastructure open source dédiée à la construction d'outils pour les compilateurs, optimiseurs et environnements d'exécution. Elle permet de transformer du code source en code machine optimisé, facilitant ainsi le développement de logiciels performants et sécurisés. Utilisée par des développeurs et entreprises du monde entier, LLVM améliore la productivité et la qualité des compilations.

Un compilateur dédié à la transformation de programmes écrits en langage MinCaml vers du code assembleur ARM. Il permet de vérifier la cohérence des types, d'optimiser les performances et de générer un code exécutable pour des architectures matérielles cibles. Utilisé principalement dans un contexte académique ou de recherche pour l'enseignement des concepts de compilation.

Ce projet centralise des images Singularity/Apptainer destinées à des tests d'intégration continue sur la plateforme JeanZay. Les images, converties depuis des images Docker, intègrent des dépendances essentielles comme HDF5, NetCDF, parmetis et XIOS. Elles sont optimisées pour fonctionner avec différents compilateurs (GNU, Intel, NVidia) et architectures (CPU, GPU), facilitant ainsi la reproductibilité des tests dans un environnement de calcul haute performance.

Suite d'outils dédiés à l'analyse et à la mesure des performances du code C++ généré par le compilateur Faust. Ces utilitaires permettent d'évaluer l'impact de nouvelles stratégies de compilation, de valider la correction des implémentations et d'optimiser les performances des programmes audio générés. Ils s'adressent principalement aux développeurs travaillant sur le compilateur Faust ou sur des backends spécifiques.

Projet dédié à l'optimisation de calculs mathématiques avancés, notamment pour des applications en physique et en traitement de données. Il propose des outils pour évaluer et simplifier des expressions algébriques, des produits matriciels et des calculs de barycentres, facilitant ainsi l'analyse et la modélisation dans des contextes scientifiques ou industriels.

Outil en ligne de commande dédié à l'analyse et à la transformation de code Fortran. Il permet de suivre les arguments des routines depuis leur définition jusqu'à leurs sites d'appel, facilitant ainsi l'optimisation et la maintenance du code. Ce projet sert également de banc d'essai pour un compilateur source-à-source basé sur Loki, ciblant des architectures hétérogènes.

Ce projet est un modèle d'organisation pour le développement de sites web. Il propose une structure de fichiers SCSS optimisée pour le système 7-1 et utilise la norme BEM pour le nommage des classes CSS. Il inclut des scripts automatisés pour compiler les fichiers et générer une version de production prête à être déployée. Idéal pour les développeurs souhaitant démarrer rapidement un projet web.

Outil dédié à la configuration et à l'automatisation des tests pour les projets Python. Il facilite la gestion des dépendances, l'exécution de scripts ciblés et l'optimisation des options de compilation. Idéal pour les développeurs souhaitant standardiser leur environnement de développement et de test.

Tuareg est un mode majeur pour l'éditeur Emacs, conçu pour faciliter l'édition, la coloration syntaxique et l'exécution de code OCaml. Il permet de lancer un REPL (toplevel) et un débogueur directement depuis l'éditeur, tout en offrant des fonctionnalités avancées comme l'indentation automatique et la gestion des erreurs de compilation. Ce projet vise à optimiser le flux de travail des développeurs travaillant avec le langage OCaml.