Ce projet développe des outils pour optimiser les performances des calculs scientifiques, notamment via des méthodes de stencil et de gestion de mémoire. Il permet de simuler des processus physiques complexes et d'évaluer l'efficacité de différentes approches algorithmiques. Les fonctionnalités incluent le benchmarking, la gestion de données en mémoire et l'analyse de performance pour des applications nécessitant une haute efficacité computationnelle.

Outil open source dédié à l'optimisation et à la synthèse de haut niveau (HLS) pour les circuits électroniques. Il permet de transformer des descriptions algorithmiques en architectures matérielles optimisées, facilitant ainsi la conception de systèmes embarqués et de circuits intégrés. Le projet intègre des fonctionnalités avancées pour l'analyse de performance et la génération automatique de code VHDL ou Verilog.

Ce projet développe des outils algorithmiques pour analyser et optimiser des politiques de cache dans les systèmes informatiques. Il permet de modéliser des flux de données complexes, d'évaluer des politiques de gestion mémoire et de simplifier des expressions booléennes pour améliorer les performances des systèmes. Les solutions proposées sont principalement destinées aux développeurs et chercheurs en informatique.

Bibliothèque et outils dédiés à la simulation numérique de systèmes physiques complexes, notamment pour des applications en astrophysique et physique des particules. Permet d'effectuer des calculs intensifs et des modélisations avancées avec une optimisation des performances grâce à des algorithmes parallèles et des structures de données adaptées.

Ce projet permet de comparer les performances de différents algorithmes de PageRank ou de classement de pages web. Il offre une analyse détaillée des résultats obtenus par chaque méthode, facilitant ainsi le choix des meilleures stratégies pour optimiser le référencement naturel. Les utilisateurs peuvent visualiser les différences de classement et identifier les approches les plus efficaces pour leurs besoins spécifiques.

HYPO-MPC est un projet visant à optimiser les paramètres hyper d'un système de contrôle prédictif de modèle (MPC) à l'aide de l'algorithme NSGA-II. L'objectif est de trouver des valeurs optimales pour les paramètres MPC, tels que l'horizon de temps, le coefficient de vitesse et gamma, pour améliorer les performances du système de contrôle.

Ce projet académique implémente un algorithme de simplexe multicritère en Julia pour résoudre des problèmes d'optimisation avec plusieurs objectifs. Il s'appuie sur des méthodes avancées comme la forme révisée du simplexe et la décomposition LU. L'outil permet de traiter des instances générées aléatoirement ou issues de fichiers au format .mop, tout en optimisant les performances grâce à des prétraitements pour éliminer les redondances. Destiné à la recherche et à l'enseignement, il facilite l'analyse et la résolution de problèmes complexes en optimisation.

Ce projet propose une collection de structures de données avancées et d'algorithmes pour faciliter la manipulation et l'analyse de données. Il vise à offrir des solutions performantes pour le stockage, la recherche et la transformation de données, adaptées aux besoins des développeurs et des data scientists. Les implémentations sont conçues pour être réutilisables et optimisées.

Ce projet propose des outils pour simuler des réactions chimiques complexes comme le modèle Gray-Scott, en exploitant les capacités de calcul haute performance de Julia. Il inclut des implémentations CPU et GPU, des optimisations pour la compilation juste-à-temps et des benchmarks pour évaluer l'efficacité des algorithmes. Destiné aux chercheurs et ingénieurs en calcul scientifique, il facilite l'exploration de phénomènes physiques et chimiques à grande échelle.

Multi-ML est un langage de programmation fonctionnel conçu pour implémenter des algorithmes Multi-BSP au-dessus d'OCaml. Il combine l'abstraction élevée des langages ML avec les performances prévisibles et scalables du modèle multi-BSP, permettant de représenter des architectures hiérarchiques imbriquées pour des calculs parallèles optimisés.