Spoon est une bibliothèque Java permettant d'analyser, transformer, transpiler et restructurer du code Java. Elle construit un AST (Arbre de Syntaxe Abstraite) bien conçu avec une API puissante pour l'analyse et la transformation. Spoon supporte les versions modernes de Java jusqu'à Java 20.

Belenios est un système de vote sécurisé et vérifiable qui met en œuvre une partie du protocole Helios-C. Il permet d'organiser des élections, de générer des bulletins de vote personnalisés et de vérifier les résultats des élections. Il est composé d'un outil en ligne de commande et d'un serveur web, tous deux utilisant le même backend et échangeant des messages dans un format commun.

L'application TousAntiCovid Android est un outil de lutte contre la pandémie de COVID-19. Elle permet de notifier les utilisateurs qui ont été en contact avec une personne testée positive, offre des informations officielles sur la pandémie et permet de générer des certificats de vaccination.

Syringe est une bibliothèque légère permettant d'instrumenter du code Java source. Construite sur Spoon, Syringe offre la possibilité de détecter des éléments du langage Java grâce à son méta-modèle et de les filtrer selon les besoins de l'utilisateur. Une fois les éléments intéressants détectés, une chaîne de caractères définie par l'utilisateur est injectée. Syringe peut être étendu avec des détecteurs et des injecteurs personnalisés pour un contrôle plus fin.

Connection-Studio est une plateforme web permettant l'analyse et la visualisation de données biologiques, en particulier des réseaux d'interactions moléculaires. Il permet l'intégration de données hétérogènes et la recherche de motifs dans des données textuelles.

Le projet graphhopper-client est une application permettant d'optimiser les trajets de véhicules en fonction de divers critères tels que la distance, le temps de trajet ou la consommation de carburant. Il permet également de gérer une flotte de véhicules et de planifier des itinéraires pour des livraisons.

Abstra est un système permettant de créer le schéma E-R de n'importe quel ensemble de données RDF, JSON ou XML. D'autres formats seront ajoutés dans le futur.

Application mobile Android dédiée à la gestion et au suivi d'exploitations agricoles, permettant de collecter et visualiser des données environnementales, de suivre le bétail et les cultures grâce à des capteurs et des technologies RFID.

This project is a proof of concept for an implementation of the ESTI Asynchronous Contact Tracing (ACT) standard, designed to detect and report virus contamination using Dorfman's pooled testing method. It includes a control service, a web application, a mobile application, and a detection service. The system is based on the OneM2M standard and uses devices that can be linked to an Internet box for sample testing and transmission of results to a national database.

Application TousAntiCovid pour la gestion de la crise sanitaire Covid-19 et le suivi épidémiologique par les autorités de santé. Informe les usagers s'ils ont été en contact avec une personne ayant été testée positive au Covid-19 et leur propose des conduites à tenir.