Le projet cv2fstar-material est un dépôt de code source contenant une extension pour l'outil CryptoVerif, qui permet de vérifier la correction et la sécurité des protocoles cryptographiques. Cette extension, développée dans le cadre d'une thèse de doctorat, permet de générer automatiquement du code sécurisé à partir de spécifications formelles, améliorant ainsi l'efficacité et la fiabilité du processus de développement de protocoles cryptographiques.

Plateforme d'apprentissage du langage de programmation Python, spécialement conçue pour les débutants. Elle offre un guide interactif, une correction automatique du code, des explications améliorées des erreurs et des débogueurs intégrés.

Dépôt de code source pour le système de génération de correctifs Itzal, axé sur l'open-science. Il permet le développement et l'expérimentation de systèmes dédiés à la génération automatique de correctifs pour des logiciels.

Ce projet est une plateforme d'apprentissage de la programmation Python, permettant l'édition de code et l'affichage des sorties, ainsi que la génération de QCM et la correction automatique.

Le projet os-corrector-scripts est un outil permettant de corriger et d'automatiser des tâches de développement sur des scripts d'OS. Il s'intègre avec des outils de développement tels que Git, CLion et libclang, et offre des fonctionnalités de correction de code avancées grâce à l'utilisation de pexpect, unidiff et gitpython.

Portal est un projet visant à simplifier la gestion de contenu et à automatiser le processus de développement web en assurant la cohérence du code CSS grâce à des outils de correction et de normalisation.