Onyxia est une application web permettant de déployer et de personnaliser des services sur un cluster Kubernetes. Elle offre un environnement de travail dédié aux data scientists et permet d'allouer des ressources spécifiques à chaque service. Onyxia intègre également des services tiers tels que S3 et Vault pour faciliter le travail avec les données et les secrets.

Le portail Rudi est une plateforme permettant la gestion de projets, le partage de données et l'accès sécurisé à celles-ci. Il est accessible à l'adresse [https://rudi.bzh](https://rudi.bzh).

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.

Siri_lite est un projet Java qui fournit une passerelle entre un serveur de service web Siri et des clients Siri Lite. Il implémente les services de surveillance des arrêts, de surveillance des véhicules, de messages généraux, de découverte d'arrêts et de découverte de lignes conformément à l'accord local SIRI 2.0 FR-IDF 2.4.

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.