Outil pédagogique et technique permettant d'analyser, évaluer et déboguer des expressions ou fragments de code. Il offre des fonctionnalités pour visualiser l'exécution pas à pas, inspecter l'état mémoire et suivre les flux de contrôle. Destiné aux étudiants et développeurs pour comprendre le fonctionnement interne des langages de programmation.

Suite d'outils dédiés à l'analyse et à la mesure des performances du code C++ généré par le compilateur Faust. Ces utilitaires permettent d'évaluer l'impact de nouvelles stratégies de compilation, de valider la correction des implémentations et d'optimiser les performances des programmes audio générés. Ils s'adressent principalement aux développeurs travaillant sur le compilateur Faust ou sur des backends spécifiques.

Ce projet compile et analyse les données issues de l'évaluation nationale des sites humides emblématiques entre 2010 et 2020. Il propose des résultats détaillés, des analyses thématiques et des portraits de territoire pour éclairer les acteurs publics et privés sur l'état et l'évolution de ces écosystèmes essentiels. Les synthèses produites visent à guider les politiques de préservation et de gestion durable.

Outil de mesure et de suivi des performances du compilateur Faust. Il permet aux développeurs de compiler des programmes Faust, d'évaluer la vitesse et la correction du code généré, puis de publier ces résultats pour comparaison. Le projet centralise des données techniques sur les machines des contributeurs, facilitant l'analyse des évolutions et la détection de régressions.

DyALog est un compilateur pour l'évaluation tabulaire de programmes logiques, de grammaires définitives [DCG], de grammaires d'arborescences adjointes [TAG] et de grammaires de concaténation de plages [RCG]. La tabulation permet de tracer les calculs pour partager les sous-calculs communs et détecter les boucles. Les traces de calculs permettent également, après un calcul, d'extraire, sous forme de forêt partagée, l'ensemble des preuves ou arbres de parse réussis. Ces caractéristiques sont particulièrement utiles pour gérer des grammaires hautement récursives et ambiguës pour le traitement des langues naturelles.

Outil dédié à l'évaluation et au benchmarking des stratégies d'ordonnancement générées par le compilateur Faust. Il permet de mesurer les performances CPU via des événements matériels, de comparer les réponses impulsionnelles des différents ordonnanceurs et de visualiser les résultats sous forme de graphiques détaillés. Utilisé principalement pour optimiser les performances des programmes de traitement du signal audio.

PANDORA est une base de données et un outil d'analyse dédié à l'étude des émissions de polluants intérieurs (PM2.5, formaldéhyde, benzène, COV totaux) issus de matériaux de construction, de décoration, de meubles et d'activités humaines. Il fournit des données compilées et des statistiques pour les modélisateurs de qualité de l'air intérieur, facilitant l'évaluation des impacts environnementaux et sanitaires des environnements bâtis.

Projet dédié à l'optimisation de calculs mathématiques avancés, notamment pour des applications en physique et en traitement de données. Il propose des outils pour évaluer et simplifier des expressions algébriques, des produits matriciels et des calculs de barycentres, facilitant ainsi l'analyse et la modélisation dans des contextes scientifiques ou industriels.

PhoenixDocker est un ensemble d'outils et de bibliothèques conçu pour faciliter le développement, l'analyse et l'optimisation de logiciels. Il permet aux développeurs d'évaluer les performances de leurs applications, d'identifier les goulots d'étranglement et d'améliorer l'efficacité du code. Adapté aux environnements de recherche et industriels, il offre des solutions pour la compilation, le débogage et l'analyse dynamique.

Shifumi est un outil d'analyse et de benchmarking conçu pour évaluer les performances de programmes informatiques. Il génère des benchmarks à partir de fichiers d'entrée, les compile avec différents compilateurs et options, puis applique des analyses de sensibilité et des outils de profilage comme TAM ou Gus. L'objectif est d'identifier les optimisations possibles et de comparer les prédictions des outils avec les mesures réelles.