Outil d'analyse de code OCaml permettant d'évaluer la qualité et la complexité des fonctions et modules. Il calcule des métriques clés comme la complexité cyclomatique, les lignes de code, les mesures de Halstead et l'indice de maintenabilité. Génère des rapports détaillés dans plusieurs formats pour aider les développeurs à améliorer leur code.

Le projet labs est une plateforme dédiée à la recherche et au développement en data science et intelligence artificielle. Il permet la gestion de projets, le partage de ressources et le calcul distribué. Les chercheurs peuvent y développer, tester et déployer des algorithmes complexes grâce à un dépôt de code source dédié.

PYASTRA est une bibliothèque Python conçue pour simplifier l'interaction avec des outils scientifiques avancés. Elle agit comme une interface unifiée, permettant aux utilisateurs d'exploiter facilement des fonctionnalités de calcul numérique, de traitement de données et de visualisation sans maîtriser les détails techniques sous-jacents. Idéale pour les chercheurs, ingénieurs et data scientists, elle accélère le développement d'applications scientifiques tout en réduisant la complexité du code.

Ce dépôt centralise les bibliothèques tierces (TPLs) nécessaires à la compilation et à l'exécution de l'application proxyApp, dédiée au calcul haute performance. Il regroupe des outils comme KOKKOS, RAJA, Chai ou Umpire, essentiels pour les simulations scientifiques et les calculs parallèles. Les bibliothèques sont préconfigurées pour une intégration simplifiée via CMake, permettant aux développeurs de se concentrer sur leur code métier sans gérer manuellement les dépendances complexes.

Outil dédié à l'analyse et au calcul de métriques pour des projets logiciels. Il permet d'évaluer la qualité, la complexité et les performances du code source en générant des indicateurs précis. Utilisé par les équipes de développement pour identifier les points d'amélioration, optimiser la maintenabilité et garantir la conformité aux bonnes pratiques.

I-Simpa est une interface graphique dédiée à l'hébergement de codes numériques 3D pour modéliser la propagation sonore dans des environnements géométriques complexes. Utilisé principalement en acoustique du bâtiment, en bruit environnemental et industriel, il permet de simuler des phénomènes sonores via des approches énergétiques (lancer de rayons, particules sonores) ou ondulatoires. L'outil offre une gestion arborescente des éléments, des fonctionnalités d'export et d'import de données, et une architecture ouverte pour intégrer des codes de calcul externes ou développer des fonctionnalités personnalisées.

Pybind11 est une bibliothèque open source conçue pour simplifier l'intégration de code C++ dans des projets Python. Elle permet aux développeurs de créer des extensions Python performantes et faciles à maintenir, en réduisant la complexité liée à l'écriture de bindings manuels. Idéale pour les projets nécessitant des calculs intensifs ou des performances accrues, elle est largement utilisée dans les domaines scientifiques, l'ingénierie et le traitement de données.

Ce projet pédagogique vise à enseigner les bonnes pratiques de développement logiciel à travers des exercices pratiques. Il couvre la création de tests unitaires avec JUnit, l'implémentation de design patterns comme les factories, et le calcul de dates complexes selon différents algorithmes historiques. Les étudiants apprennent à structurer leur code, gérer les exceptions et valider leurs implémentations par des tests automatisés.

Ce service permet aux chercheurs d'accéder à distance à un cluster de calcul haute performance (Slurm) via une interface Jupyter. Les utilisateurs peuvent exécuter du code Python ou Octave, analyser des données, visualiser des résultats et manipuler des fichiers directement depuis leur navigateur. L'outil facilite la collaboration et l'expérimentation scientifique sans nécessiter d'installation locale complexe.

Mlang est un compilateur développé pour transcrire le code fiscal français (langage M) en instructions exécutables par machine. Il permet de calculer automatiquement les impôts sur le revenu en interprétant les règles fiscales complexes définies par la Direction Générale des Finances Publiques (DGFiP). Le projet vise à offrir une solution open source pour reproduire et valider les calculs fiscaux, en collaboration avec les services publics.