Outil logiciel dédié à la vérification formelle de systèmes concurrents via la construction de graphes d'observation symboliques. Il permet d'analyser des modèles complexes en exploitant des techniques de parallélisation pour améliorer l'efficacité et réduire les temps de calcul. Utilisé dans le cadre de la recherche académique en informatique théorique, notamment pour l'étude des systèmes distribués et des protocoles de communication.

PhoenixPerformance est une bibliothèque logicielle dédiée à l'optimisation et à l'accélération des calculs scientifiques, notamment pour la simulation de systèmes physiques complexes. Elle propose des outils pour évaluer des produits de matrices, des barycentres, et des modèles comme Gray-Scott, tout en garantissant des performances élevées grâce à des algorithmes optimisés et parallélisés.

Dynamic Resource Extensions for Xbraid est un projet dédié à l'optimisation de la résolution de problèmes multi-physiques et à la parallélisation de calculs scientifiques en étendant les fonctionnalités de la bibliothèque Xbraid. Ce projet vise à améliorer l'efficacité et les performances des simulations complexes en utilisant des extensions dynamiques de ressources.

Paradiseo est un cadre logiciel open source dédié à la conception et à l'implémentation rapide d'algorithmes d'optimisation stochastique, notamment les métaheuristiques. Il offre une architecture modulaire permettant de combiner divers composants pour résoudre des problèmes d'optimisation complexes, sans calcul de gradient. Le framework se distingue par sa bibliothèque mature de composants, ses outils d'automatisation pour la sélection et la configuration d'algorithmes, ainsi que ses options de parallélisation pour améliorer les performances.