PBD4 est une implémentation basée sur les formules pseudo-booléennes du compilateur D4 et du compteur de modèles. Il est écrit en Java et conçu pour être facilement extensible et réutilisable.

Git-playground est un projet conçu pour aider les développeurs à gérer et collaborer sur des projets de développement logiciel. Il offre une plateforme centralisée pour la gestion des versions de code source, facilitant ainsi le suivi des modifications et la collaboration entre les membres de l'équipe. Le projet intègre des fonctionnalités de revue de code et des tests automatisés pour garantir la qualité du code et accélérer le processus de développement.

MyTransport est une application de gestion de transport en commun. Elle permet de gérer les utilisateurs et leurs autorisations, d'envoyer des emails de confirmation et de réinitialisation de mot de passe, de gérer les routes et leur niveau de service, ainsi que de surveiller la santé des services.

NaoCal est un outil permettant aux enseignants de consulter leur emploi du temps ou ceux de leurs étudiants, de proposer des modifications telles que des changements d'heure ou de responsable, et de générer un email pour le service de planification de l'Université de Nantes.

This project provides a code repository with integrated tools to automate the code review process and perform static code analysis. It helps developers to improve code quality and maintainability by identifying potential issues and vulnerabilities. The project can be integrated with popular development tools to streamline the development workflow.

Courroux est une application web conçue pour la gestion des emplois du temps, initiée par le responsable pédagogique du département informatique de l'IUT de Montreuil. L'objectif est de remplacer l'ancien système d'emploi du temps Java JWT utilisé à l'IUT, qui ne répond plus aux besoins évolutifs des différents utilisateurs. Cette application est conçue pour être polyvalente et extensible pour une utilisation dans d'autres universités. Son interface utilisateur est développée avec Angular et Tailwind CSS, tandis que le backend est géré par Flask et MySQL. L'application est open-source, ce qui permet aux utilisateurs de la modifier librement, et il est possible d'utiliser uniquement l'API et de reconstruire l'interface utilisateur à partir de zéro.

Courroux est une application web développée pour la gestion des emplois du temps, initiée par le responsable pédagogique du département informatique de l'IUT de Montreuil. L'objectif est de moderniser le système d'emploi du temps existant utilisé à l'IUT, car l'application Java JWT créée en 2004 ne répond plus aux besoins évolutifs des différents utilisateurs. Cette application est conçue pour être polyvalente et extensible pour une utilisation par d'autres universités. De plus, sa licence open-source permet aux utilisateurs de la modifier librement, et il existe une option pour n'utiliser que l'API et reconstruire l'interface utilisateur à partir de zéro.

Le projet sonar-scanner-cli est un outil d'analyse de la qualité du code source. Il permet de détecter les vulnérabilités dans le code, de s'assurer de la conformité aux normes de codage et d'améliorer la maintenabilité du code. Il est utilisé pour garantir des standards élevés de qualité et de sécurité dans le développement des applications.