Ce projet est une démonstration technique permettant de tester et valider des fonctionnalités de synchronisation de données entre différents services. Il sert de banc d'essai pour évaluer des mécanismes d'intégration, de gestion d'identifiants et de messages, ainsi que des interactions avec des bases de données.

Ce projet est une démonstration en ligne d'un outil de visualisation de données graphiques et statistiques. Il permet de générer des graphiques interactifs pour illustrer des concepts mathématiques ou des jeux de données. L'application est conçue pour tester et présenter les fonctionnalités de la bibliothèque ImPlot, intégrée à un environnement graphique léger. Elle s'adresse aux développeurs, chercheurs ou étudiants souhaitant explorer des visualisations de données sans installation locale.

Bibliothèque Python dédiée au pilotage de focuser OPTEC pour les observations astronomiques. Elle permet aux astronomes et aux observatoires d'automatiser et de contrôler des instruments via des scripts Python, facilitant ainsi la gestion des équipements et l'exécution d'observations précises. Intégrée à l'écosystème GuitAstro, elle simplifie l'interaction avec les contrôleurs OPTEC et étend les fonctionnalités de base pour des usages professionnels ou amateurs avancés.

Outil de démonstration conçu pour présenter les fonctionnalités de DossierFacileConnect aux partenaires. Il permet de simuler des interactions sécurisées et de valider les processus d'intégration technique avant une mise en production. Ce projet facilite la compréhension des mécanismes de connexion et de partage de données entre systèmes.

Equipage est un service public dédié à la mobilité des personnels militaires et de leurs familles. Il propose un atlas interactif permettant de découvrir les services essentiels (immobilier, éducation, santé) disponibles sur chaque site d'affectation. L'outil centralise et simplifie l'accès aux ressources locales, facilitant ainsi les déménagements et l'intégration des familles. Le service est régulièrement mis à jour pour améliorer l'expérience utilisateur et ajouter de nouvelles fonctionnalités.

VsRocq est une extension pour Visual Studio Code et VSCodium qui fournit un support avancé pour le prouveur interactif Rocq (anciennement Coq). Il permet aux utilisateurs de vérifier des preuves mathématiques, de développer des logiciels certifiés et d'enseigner la logique formelle grâce à une intégration fluide avec l'éditeur. L'outil offre des fonctionnalités comme la vérification continue des preuves, une interface interactive pour explorer les objectifs de preuve et un panneau dédié aux requêtes.

Ce tutoriel interactif guide les utilisateurs dans l'apprentissage des bases de Git et GitLab. Il propose des missions progressives pour maîtriser la gestion de versions, la collaboration à distance et l'intégration de contributions. Destiné aux débutants, il couvre l'installation, la configuration, les commits, les conflits et l'utilisation des fonctionnalités collaboratives de GitLab.

Digiscreen est une application conçue pour créer des fonds d'écran interactifs destinés aux enseignants et aux élèves. Elle permet de concevoir des supports visuels dynamiques pour animer des cours en présentiel ou à distance, facilitant ainsi l'engagement et l'interactivité dans un cadre éducatif. L'outil intègre des fonctionnalités collaboratives et des modules variés pour enrichir les séances pédagogiques.

Faustlsp est un serveur LSP (Language Server Protocol) dédié au langage de programmation Faust, utilisé principalement pour le traitement audio et la synthèse sonore. Il permet aux éditeurs de code comme VS Code, Neovim ou Emacs d'offrir des fonctionnalités avancées comme la complétion de code, la détection d'erreurs en temps réel, la documentation interactive et le formatage automatique. Ce projet vise à simplifier le développement d'applications audio en fournissant un outil d'assistance intelligent et intégré aux environnements de développement.

Ce projet gère des informations liées à des utilisateurs, offrant une interface graphique interactive et personnalisée grâce à JavaFX et ControlsFX. Il intègre également des fonctionnalités de tests unitaires et d'intégration via JUnit et Kotlin.