LiveProbes est une plateforme innovante conçue pour transformer le processus de débogage et d'analyse de code. Elle permet aux développeurs d'inspecter, de modifier et de comprendre le comportement de leur code en temps réel, sans interrompre son exécution. Grâce à des outils avancés, elle offre une visibilité instantanée sur les variables, les appels de méthodes et les erreurs, facilitant ainsi la correction des bugs et l'optimisation des performances.

VeriFast est un outil d'analyse statique formelle conçu pour vérifier la correction de programmes écrits en C et Java. Il permet de détecter des erreurs de typage, des violations de propriétés de sécurité et des bugs potentiels avant l'exécution. Utilisé principalement dans les domaines critiques comme les systèmes embarqués ou les applications sécurisées, il aide les développeurs à prouver que leur code respecte des spécifications formelles.

OFence est un outil académique conçu pour identifier et corriger les bugs de concurrence dans le noyau Linux. Il s'appuie sur des techniques d'analyse de barrières mémoire pour détecter des incohérences dans le code et proposer des correctifs. Ce projet vise à améliorer la fiabilité et la stabilité des systèmes d'exploitation en ciblant spécifiquement les problèmes liés à la synchronisation entre threads.

Le projet Correction-OCR utilise des modèles de langage pour corriger les erreurs de reconnaissance optique de caractères (OCR) dans des textes fournis. Il s'appuie sur des modèles de langage de pointe pour fournir des corrections précises et améliorer la qualité des textes OCR.

Le projet `corrections` est dédié à l'amélioration et la simplification du processus de correction et d'annotation de copies d'examens et de documents pédagogiques. Il permet aux enseignants et correcteurs de gagner du temps et d'accroître leur efficacité en proposant des fonctionnalités dédiées à la correction et à l'annotation.

Ce projet permet aux enseignants de corriger et d'évaluer les travaux pratiques ou devoirs des étudiants. Il facilite la gestion des notes, le suivi des performances et l'organisation des corrections. L'outil est conçu pour simplifier le processus pédagogique en automatisant certaines tâches administratives liées à l'évaluation.