Ce projet vise à optimiser le calcul des impôts en simplifiant l'AST et en analysant les graphes de dépendances. Il fournit des outils pour exécuter des calculs sur l'arbre des formules et simplifier le graphe en supposant certaines variables nulles.

Bibliothèque de modèles analytiques pour le calcul des déformations de surface dans un demi-espace élastique. La plupart des codes sont écrits en langage vectorisé Matlab/Octave, certains sont optimisés en C.

Projet académique dédié à l'optimisation de code C++ et à la simulation de particules pour des applications scientifiques. Il propose des outils pour analyser et améliorer l'efficacité des algorithmes, ainsi que des méthodes de gestion mémoire adaptées aux calculs intensifs. Utilisé dans un cadre pédagogique pour former les étudiants aux bonnes pratiques de développement.

Outil permettant aux entreprises utilisant Scalingo de calculer et visualiser l'utilisation de leurs ressources cloud. Il génère des rapports détaillés sur les conteneurs, addons et coûts par startup, facilitant ainsi l'optimisation des dépenses et la gestion des infrastructures. L'outil s'intègre directement à l'API de Scalingo pour extraire les données en temps réel.

Ce projet propose des bindings Python pour une bibliothèque Rust dédiée à la manipulation et à l'optimisation de formules logiques en déduction propositionnelle. Il permet aux chercheurs et développeurs d'accélérer les calculs de modèles et d'améliorer l'efficacité des outils d'analyse logique dans divers domaines comme l'intelligence artificielle ou la vérification formelle.

Projet open source fournissant un ensemble d'outils et de bibliothèques pour le développement d'applications performantes sur CentOS 7. Il facilite la création de solutions optimisées pour le calcul intensif, l'analyse de données et l'intelligence artificielle, en s'appuyant sur des technologies modernes comme oneAPI. Destiné aux développeurs et chercheurs nécessitant des performances élevées.

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.

Ce projet fournit un kit de développement pour optimiser et accélérer les applications haute performance (HPC) sous CentOS 7. Il inclut des outils et bibliothèques pour faciliter l'intégration d'APIs, améliorer les performances des calculs intensifs et simplifier le déploiement dans des environnements de calcul scientifique ou industriel.

Plateforme d'assistance et d'outils dédiés à la gestion des effectifs et des activités pour les juridictions administratives. Elle propose des calculatrices, des extracteurs de données, des guides utilisateurs et des ressources pour faciliter la prise de décision, la simulation de scénarios et l'analyse des indicateurs. Destinée aux agents publics, elle centralise des outils métiers pour optimiser l'organisation et le pilotage des services.

Ce projet participe à la compétition Google Hash Code 2021 en proposant des solutions algorithmiques pour optimiser la gestion des feux tricolores dans une ville. L'objectif est de réduire les temps d'attente des véhicules et d'améliorer la fluidité du trafic en analysant des plans de ville et des trajets prédéfinis. Les algorithmes développés permettent de calculer des séquences optimales pour les feux, maximisant ainsi le nombre de véhicules atteignant leur destination dans un délai imparti.