Ce projet est un tutoriel pour prendre en main Android Studio, l'IDE dédié au développement d'applications Android. Il permet de créer un nouveau projet Android, de décrire la disposition des composants graphiques, de compiler et déployer l'application sur un émulateur ou un appareil physique.

Exercice pratique pour le séminaire Diverse de l'automne 2019 visant à tester l'efficacité de Descartes sur des projets développés dans d'autres langages JVM que Java.

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.

Qualimarc est l'outil de diagnostic des notices du Sudoc, il permet d'analyser la qualité des données et de vérifier la conformité des notices bibliographiques.

Ce projet vise à fournir une évaluation et une diversification continues des logiciels dans les pipelines de Continuous Integration et Continuous Deployment. Il utilise des techniques d'analyse de programme/modèle et de transformation de code/modèle pour évaluer la qualité des logiciels et diversifier automatiquement les applications, réduisant ainsi les risques de monoculture logicielle.

Ce projet permet le traitement et la gestion des notices bibliographiques et des exemplaires dans la base de données Sudoc, en s'appuyant sur les données de la base Star. Il utilise l'outil AccesCBS pour interagir avec la base de données Sudoc.

UNIvERSE est une bibliothèque JAVA proposant des interfaces génériques pour la résolution de problèmes de satisfaction de contraintes (SAT, PB, CSP). Elle offre une interface unifiée pour créer des solveurs suivant le patron de conception factory.

Le projet build-openjdk vise à faciliter la construction et la personnalisation des versions d'OpenJDK. Il offre des outils pour optimiser les performances en fonction des architectures spécifiques et automatise le processus de build et de test, améliorant ainsi l'efficacité du développement et la qualité du produit final.

Le projet cidemis gère le circuit dématérialisé des demandes ISSN. Il permet de suivre et de traiter les demandes, d'exporter des statistiques et d'envoyer des mails de notification.

Ce projet fournit des implémentations de dictionnaires à partir de différents types d'arbres, y compris un arbre binaire de recherche, un arbre binaire de recherche itératif, une liste triée maintenue en permanence, et un ensemble basé sur un arbre rouge-noir. Il permet d'effectuer des opérations de recherche, d'insertion et de suppression dans des dictionnaires.