Ce projet fournit une bibliothèque Java permettant d'interagir avec l'API REST de TravisCI, facilitant ainsi la gestion des builds des projets hébergés sur GitHub.

Ce projet vise à étudier la faisabilité et l'efficacité de l'utilisation de la génération de tests pour atténuer le problème de sur-ajustement dans les techniques de réparation de programmes basées sur les jeux de tests. Il utilise l'outil EvoSuite pour générer des tests et propose deux approches pour améliorer la réparation de programmes : MinImpact et UnsatGuided. Les résultats de l'expérimentation sur 224 bugs de Defects4J sont inclus dans le dépôt.

Ce projet gère des comptes bancaires et permet de réaliser des opérations bancaires telles que des virements. Il dispose d'un système d'authentification sécurisé.

Bibliothèque conçue pour générer des cas de test de manière automatique en utilisant des règles de traduction. Elle est livrée avec des générateurs de cas de test intégrés et une interface conçue pour en créer de nouveaux avec un effort minimal.

Ce projet est une application de gestion bancaire et de location de trottinettes électriques. Il permet de gérer les comptes bancaires, les autorisations d'accès aux trottinettes et la location de celles-ci.

L'utilitaire ade-sync se connecte à un serveur ADE, récupère les mises à jour et publie des messages AMQP avec les données synchronisées. Il stocke l'horodatage de la dernière exécution dans un fichier de sortie.

Le projet anr_eclats_wp1 vise à fournir un outillage numérique innovant permettant le stockage, l’enrichissement sémantique, la visualisation des contenus géolinguistiques mais aussi la création de cartes interprétatives à partir des données extraites de l'ALF. Il comprend deux applications : Cartodialect et DialectoLOD.

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.

Le projet ktor-backend est une application server basée sur le framework Ktor, permettant la gestion des utilisateurs, l'authentification, l'échange de contenu et la documentation d'API via Swagger UI.

Mathmouse est une structure de type entrepôt de données enrichi capable de stocker des modèles mathématiques dans une base de données relationnelle et de fournir un système de requête par données permettant d'interroger le entrepôt en utilisant des séries temporelles brutes en entrée.