Ce projet fournit une bibliothèque logicielle pour créer et gérer des fenêtres graphiques, notamment via l'interface GLFW. Il permet d'automatiser des tâches liées à l'affichage, comme la capture d'écran ou la manipulation de fenêtres, et s'intègre dans des workflows de développement ou d'automatisation visuelle.

Ozr-Updater est un outil conçu pour simplifier la mise à jour des applications développées avec LabVIEW. Il permet aux utilisateurs de télécharger et d'installer facilement les dernières versions d'un logiciel via un assistant intégré. L'outil vérifie automatiquement la disponibilité de nouvelles versions, soit au démarrage de l'application, soit à intervalles réguliers, et propose des notifications pour informer l'utilisateur. Les mises à jour sont gérées via un fichier index hébergé dans le cloud, facilitant ainsi la gestion des versions et des téléchargements.

Rocq-prover.org est une plateforme en ligne dédiée au langage Rocq, un assistant de preuve formelle. Elle centralise la documentation technique, les paquets logiciels et les ressources pédagogiques pour faciliter l'apprentissage et le développement avec Rocq. Le site propose une interface moderne et accessible, adaptée aux besoins des chercheurs, développeurs et étudiants en informatique théorique.

Plateforme open source conçue pour automatiser et orchestrer des sessions de développement assisté par IA. Elle permet de créer, gérer et exécuter des agents IA capables de lire, écrire et modifier du code source, d'interagir avec des outils de développement, et de générer des livrables techniques. Le projet facilite la collaboration entre développeurs et modèles de langage pour accélérer les cycles de développement logiciel.

Besteverproject est une plateforme dédiée à l'hébergement de projets de développement logiciel, offrant des fonctionnalités avancées telles que la construction automatisée d'images Docker et l'assistance à la création de sites web statiques.

Ce projet vise à développer des outils logiciels pour le traitement et l'analyse d'images médicales issues de radiologies. Il permet aux professionnels de santé d'améliorer le diagnostic en exploitant des algorithmes avancés pour détecter des anomalies ou des pathologies. L'objectif est d'assister les médecins dans leur interprétation des examens d'imagerie.

Outil conçu pour capturer et intégrer dans les messages de commit des moments observables de collaboration entre humains et IA. Il enregistre les propositions, rejets et choix effectués lors des sessions de développement, permettant de retracer l'historique des décisions techniques sans recourir à des pourcentages ou des étiquettes subjectives. Le projet vise à renforcer la transparence et la crédibilité des contributions assistées par IA dans les projets logiciels.

Projet visant à développer un outil logiciel d'assistance pour les radiologues et chirurgiens lors d'ablations tumorales par électroporation. L'objectif est de fournir une simulation précise de la couverture tumorale pendant l'intervention, combinant des algorithmes de recalage et de calcul de dose. Le projet inclut également une réflexion sur l'interface utilisateur et les modalités de commercialisation d'une solution innovante en imagerie médicale.

Assist_imgui est une bibliothèque et un plugin conçu pour faciliter la création d'interfaces graphiques modernes et interactives dans des applications logicielles. Il permet aux développeurs d'intégrer des outils de visualisation, de gestion de données et de plugins pour améliorer l'expérience utilisateur. Le projet inclut également des fonctionnalités d'inspection de données et d'encodage vidéo, offrant une solution polyvalente pour les applications nécessitant une interface utilisateur avancée.