CUDA est une plateforme de calcul parallèle développée par NVIDIA, permettant aux développeurs d'exploiter la puissance des GPU pour des calculs intensifs. Elle est largement utilisée dans les domaines scientifiques, l'intelligence artificielle, le traitement d'images et les simulations complexes. CUDA simplifie la programmation parallèle et améliore significativement les performances des applications.

Sidi est un module Python léger conçu pour faciliter l'utilisation de Dask Distributed. Il simplifie la création et la gestion de schedulers et workers distribués, ainsi que l'instanciation de classes distantes. Idéal pour les développeurs cherchant à optimiser des calculs parallèles sans complexité excessive.

Outil dédié à la simplification et à la manipulation d'expressions mathématiques en Python. Il permet aux enseignants et aux élèves de vérifier automatiquement des exercices d'algèbre, de calcul littéral ou de développement. Le projet facilite l'apprentissage en automatisant des tâches répétitives et en fournissant des résultats précis pour des expressions complexes.

Bibliothèque logicielle dédiée à la manipulation et à la simplification d'expressions mathématiques symboliques. Elle permet de développer, factoriser, résoudre et optimiser des équations algébriques complexes. Utilisée principalement dans des contextes scientifiques et techniques pour automatiser des calculs formels.

Plateforme dédiée à la simplification et à l'automatisation de calculs scientifiques complexes. Elle permet aux chercheurs et ingénieurs de collaborer sur des projets nécessitant des outils de calcul avancés, en réduisant les tâches répétitives et en facilitant l'intégration de workflows mathématiques. Utilisée principalement dans les domaines de la recherche académique et industrielle.

Bibliothèque de tactiques pour l'assistant de preuve Coq, dédiée à la simplification des preuves d'inégalités sur des expressions de nombres réels. Elle permet d'automatiser le calcul d'encadrements précis pour des fonctions mathématiques complexes, facilitant ainsi la vérification formelle de propriétés analytiques dans les preuves assistées par ordinateur.

Ce projet permet de calculer le rayon et la surface d'une calotte sphérique à partir de son volume. Il s'adresse principalement aux chercheurs, ingénieurs ou étudiants en mathématiques appliquées ou physique qui ont besoin de modéliser des objets géométriques tridimensionnels. L'outil simplifie des calculs complexes liés aux sphères tronquées, souvent utilisés dans des domaines comme l'optique ou la mécanique des fluides.

Bibliothèque logicielle dédiée à la manipulation, l'analyse et la simplification d'expressions mathématiques. Elle permet de parser, évaluer et transformer des formules algébriques complexes en fournissant des outils pour le calcul symbolique et numérique. Utilisée dans des contextes scientifiques ou techniques nécessitant une gestion avancée des équations.

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.

Ce projet génère et distribue des images Singularity dédiées à FEEL++, un framework de simulation numérique. Ces images permettent aux chercheurs et ingénieurs de déployer rapidement des environnements de calcul reproductibles et portables, adaptés aux besoins des applications scientifiques et industrielles. Elles simplifient l'installation et la gestion des dépendances logicielles dans des environnements complexes comme les clusters HPC.