VeriFast est un outil d'analyse statique conçu pour vérifier la sécurité et la correction des programmes. Il permet de détecter des vulnérabilités potentielles dans le code source, notamment en Java, en s'appuyant sur des annotations et des propriétés formelles. L'outil est utilisé pour garantir la robustesse des systèmes critiques, comme les cartes à puce ou les applications embarquées, en identifiant les erreurs de logique ou les failles de sécurité avant leur déploiement.

Outil d'analyse statique de code source permettant de générer des graphes d'abstraction pour visualiser la structure du code. Il identifie les opérateurs binaires, parcourt les arbres de syntaxe abstraite et annote le code pour faciliter la compréhension et l'analyse des programmes. Utilisé principalement dans le domaine de la recherche en informatique et de l'optimisation de code.

Ce projet développe des outils pour classifier automatiquement les sujets des actualités diffusées à la radio ou à la télévision. Il permet d'analyser la représentation des biais de genre dans les médias en identifiant les thèmes abordés (politique, économie, sport, etc.). Le code source inclut des scripts d'évaluation, des modèles de machine learning (BERT et Mixtral) et des jeux de données annotés pour entraîner et tester ces modèles.

Le pipeline GeneAnnotation est un outil d'analyse de génomes métagénomiques qui permet de prédire les séquences codantes dans les génomes et de les annoter fonctionnellement en utilisant les bases de données eggNOG. Il génère également des matrices d'abondance des gènes.

Ce projet vise à analyser et annoter le génome de la souche de levure Zygosaccharomyces bailii CLIB 213, en identifiant les gènes codant des protéines et des pseudogènes, ainsi que les ARN de transfert et de ribosomes.

Annotar_code est une plateforme dédiée à la gestion et à l'annotation collaborative de données géospatiales dans le cadre de projets de recherche. Il permet aux équipes de recherche de visualiser, d'annoter et de discuter des données de manière synchrone et asynchrone.