IntroClassJava est une collection de programmes Java générés à partir de codes C, conçue pour servir de banc d'essai pour les outils d'analyse et de réparation de code. Elle contient des programmes avec et sans bogues, permettant ainsi de tester les capacités de détection et de correction des outils.

Ce projet est un prototype de recherche pour la refactorisation automatique de tests unitaires en morceaux plus petits, une technique appelée B-Refactoring. Il améliore l'analyse dynamique en séparant les tests en parties plus petites.

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.

Logiciel de préparation d'observations astronomiques, permettant de calculer les temps de lever et coucher du soleil et de la lune, ainsi que les coordonnées horaires et équatoriales.

Gspore est un outil permettant de créer des clients pour les webservices SPORE, en utilisant une description d'API pour instancier des clients et appeler leurs méthodes. Les fonctionnalités des clients peuvent être personnalisées à l'aide de middlewares, qui sont des workflow rewriters spécifiques.

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.

Le projet jkahypar fournit une interface Java pour le framework KaHyPar de partitionnement de hypergraphes. Il permet de construire et de partitionner des hypergraphes de manière efficace grâce à l'utilisation de Java Native Access pour invoquer l'implémentation native de KaHyPar.

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é.

Le projet trustmodelevaluation est un outil qui évalue automatiquement les modèles de calcul de confiance par rapport aux exigences exprimées. Il aide les utilisateurs à choisir les exigences de leur système et le modèle de calcul de confiance le plus approprié pour leur application.

Logiciel open source d'annotation automatique de références bibliographiques. Il fournit la segmentation et l'étiquetage d'entrées de chaînes de caractères. Il est principalement basé sur les champs aléatoires conditionnels (CRF), une technique d'apprentissage machine pour segmenter et étiqueter les données séquentielles.