Typstevals est un outil d'analyse statique conçu pour évaluer et valider les types dans les langages de programmation. Il permet aux développeurs de détecter des erreurs de typage potentielles avant l'exécution du code, améliorant ainsi la robustesse et la maintenabilité des projets. Utilisé principalement dans le cadre du développement logiciel, il s'intègre facilement aux pipelines CI/CD pour garantir une qualité constante du code.

Ce plugin permet d'analyser et d'optimiser les caches de type LRU (Least Recently Used) dans le cadre de l'outil Otawa, dédié à l'analyse statique de programmes. Il fournit des métriques précises pour évaluer l'efficacité des politiques de cache et améliorer les performances des systèmes logiciels ou embarqués. Utilisé principalement dans le domaine de la recherche académique et de l'ingénierie système.

CoMD est une application de référence implémentant des algorithmes et charges de travail typiques de dynamique moléculaire classique. Développée par le centre ExMatEx, elle sert de support pour évaluer les performances de nouvelles architectures, modèles de programmation ou optimisations logicielles dans le domaine des matériaux soumis à des conditions extrêmes.