Ce projet fournit des exemples d'applications utilisant les extensions dynamiques de ressources pour P4est, une bibliothèque de calcul parallèle pour la décomposition et le réassemblage de maillages adaptatifs. Il permet de simuler des phénomènes physiques complexes en décomposant le domaine de calcul en sous-domaines distribués sur plusieurs processeurs, tout en adaptant le maillage en fonction de la complexité du problème.

IOLB est un outil d'analyse de la complexité IO des programmes. Il permet de générer des bornes inférieures paramétriques pour les programmes et d'optimiser la complexité IO des algorithmes de calcul matriciel.

Le projet Galerkin Reduced Basis (GRB) est un outil de simulation numérique dédié à la résolution de problèmes complexes dans les domaines de l'ingénierie et de la physique. Il permet de réduire la complexité des modèles numériques en construisant une base réduite de solutions approchées, ce qui permet de gagner en temps de calcul et en précision.

Le projet bb-perfect a pour objectif d'analyser des traces informatiques et de calculer la similarité entre fonctions. Il permet également de classer les fonctions selon leur complexité en utilisant des estimateurs.

Outil de démonstration permettant d'évaluer la complexité de projets logiciels et de calculer leur facteur de bus en analysant l'historique de contributions de développeurs.

WSymb est un outil d'analyse de la complexité temporelle des programmes informatiques. Il permet de calculer la durée d'exécution potentielle maximale d'un programme en générant des formules symboliques pour représenter les temps d'exécution.

Le projet cppadcodegen est un générateur de code source C++ conçu pour automatiser le calcul différentiel. Il s'intègre aux outils de calcul numérique et gère des données mathématiques complexes, offrant une solution robuste et efficace pour les applications nécessitant des calculs différentiels avancés.

GNU MPC est une bibliothèque de calcul en nombres à virgule flottante complexes avec arrondi exact. Elle est basée sur la bibliothèque GNU MPFR, qui est elle-même basée sur la bibliothèque GNU MP. MPC offre des fonctionnalités de calcul formel avancées et est largement utilisée dans le domaine du calcul numérique.

Le projet pari-notebook fournit un environnement de calcul interactif basé sur PARI/GP, un système de calcul formel performant. Il permet aux utilisateurs de réaliser des calculs mathématiques complexes et d'analyser des données numériques de manière intuitive.

Ce projet, nommé syso-core, est consacré à l'expérimentation et à l'extraction d'un module spécifique correspondant au moteur de calcul de syso. Il se concentre sur la réalisation de calculs complexes.