Bibliothèque JavaScript permettant d'extraire et d'automatiser des tâches sur des sites web grâce à des scrapers configurables et à une interface conviviale.

Outil formel dédié à l'analyse de la robustesse des systèmes embarqués face aux attaques par injection de fautes. Il combine la description RTL d'un processeur, le binaire d'un logiciel et un modèle d'attaquant pour évaluer la sécurité d'un système intégrant des contre-mesures. µArchiFI permet de prouver formellement la sécurité d'un système ou d'identifier des contre-exemples illustrant des vulnérabilités exploitables.

Solution open source conçue pour déployer et gérer des applications territoriales sur des systèmes Debian via des conteneurs rootless Podman. Elle permet d'automatiser le déploiement d'outils collaboratifs (messagerie, visioconférence, gestion de documents) tout en garantissant une sécurité renforcée et une scalabilité adaptée aux besoins des collectivités locales. Intègre des rôles Ansible pour simplifier la configuration et la maintenance.

Outil d'optimisation automatique des performances des serveurs vLLM (Large Language Model) pour les déploiements en production. Il automatise la recherche des meilleurs paramètres de configuration (comme les flags du serveur vLLM) en utilisant des algorithmes d'optimisation (Optuna) et des benchmarks avancés (GuideLLM). Permet d'améliorer le débit, la latence et l'efficacité énergétique des modèles de langage tout en réduisant les coûts d'inférence.

Projet de l'Ecolab visant à produire des outils d'aide à l'analyse d'études d'impact environnemental via du Machine Learning et du Natural Language Processing. Il permet la détection et l'extraction de sommaires de documents PDF, l'analyse de l'importance des enjeux dans un texte et le résumé automatique de sections de texte.

TIAM est un outil d'évaluation conçu pour mesurer la qualité de l'alignement entre un texte descriptif (prompt) et les images générées par des modèles de vision-langage. Il vérifie si les entités et leurs attributs spécifiés dans le prompt sont effectivement visibles dans les images synthétiques. Utilisé principalement en recherche, il permet de comparer objectivement les performances des modèles de génération d'images.

Cornetto est un outil open-source permettant de créer et gérer des versions statiques à partir de sites web dynamiques. Il offre la possibilité de déployer ces versions sur des serveurs de production et de les visualiser.

Ragtime est une plateforme modulaire de traitement automatique du langage (RAG) conçue pour les administrations françaises. Elle permet aux agents publics de poser des questions en langage naturel sur des documents internes ou publics et d'obtenir des réponses précises et sourcées. Le système s'appuie sur des modèles d'IA avancés pour analyser, indexer et restituer des informations pertinentes, facilitant ainsi la prise de décision et la diffusion de connaissances au sein des services de l'État.

Outil simple permettant de télécharger et traiter des images Sentinel-2, facilitant ainsi la gestion et l'analyse de données géospatiales pour une meilleure compréhension de la couverture terrestre.

Prototype Python utilisant le solveur Z3 SMT pour encoder et analyser les mesures socio-fiscales françaises. Il permet de répondre à des questions sur le système socio-fiscal sous la forme d'une recherche dichotomique pour maximiser ou minimiser une valeur donnée, en fonction de divers paramètres tels que les revenus, les allocations familiales, les aides au logement, etc.