Kernel Extension est une extension dédiée à l'analyse d'images biologiques pour le logiciel Icy. Elle fournit des outils essentiels comme des canvas 2D, des outils de dessin de régions d'intérêt (ROI), des descripteurs de ROI et un importateur de fichiers LOCI. Développée par des membres de l'unité d'analyse d'images biologiques de l'Institut Pasteur, cette extension s'intègre parfaitement dans l'écosystème Icy pour enrichir ses fonctionnalités et faciliter le traitement des images scientifiques.

Extension logicielle conçue pour enrichir les fonctionnalités du logiciel d'analyse d'images biologiques Icy. Elle propose des outils avancés pour le dessin et la gestion des régions d'intérêt (ROI), ainsi que des solutions pour l'importation et la visualisation de fichiers d'images complexes comme ceux au format LOCI. Développée par des membres de l'unité d'analyse d'images biologiques de l'Institut Pasteur, cette extension facilite le traitement et l'analyse des images microscopiques dans un cadre de recherche biomédicale.

Spot Detector est une extension pour le logiciel d'analyse bioimage Icy, développée par l'unité d'analyse d'images biologiques de l'Institut Pasteur. Cet outil permet de détecter et compter des spots dans des images biologiques, comme des noyaux cellulaires ou des cellules, dans des images 2D ou 3D. Il offre des fonctionnalités de filtrage, de tri et d'export des détections sous forme de fichiers Excel ou d'images annotées.

Extension pour le logiciel Icy dédiée à l'analyse d'images biologiques. Spot Detector permet de détecter et compter automatiquement des spots (noyaux, cellules) dans des images 2D ou 3D, souvent bruitées. Il offre des fonctionnalités de filtrage, de tri par régions d'intérêt et d'export des données en fichiers Excel. Utilisé principalement en imagerie cellulaire et microscopie, il facilite l'analyse quantitative des images issues de la recherche biomédicale.

Extension logicielle conçue pour enrichir les fonctionnalités du logiciel Icy, dédié à l'analyse d'images biologiques. Elle permet aux chercheurs et biologistes d'étendre les capacités de traitement et de visualisation des images microscopiques, facilitant ainsi l'analyse avancée des données bioimage dans un cadre académique ou industriel.

ROI Tagger est une extension pour le logiciel d'analyse d'images biologiques Icy, développée par l'unité d'analyse d'images biologiques de l'Institut Pasteur. Elle permet aux chercheurs et biologistes de créer et d'appliquer des étiquettes (tags) sur des régions d'intérêt (ROI) dans des images microscopiques. Les tags sont enregistrés directement dans les séquences d'images, assurant une traçabilité et une réutilisation des annotations. L'outil facilite l'organisation et l'analyse des données visuelles en intégrant des fonctionnalités de gestion multi-tags et de compatibilité avec d'autres plugins comme Spot Detector.

Ce projet est une extension logicielle dédiée à la bibliothèque Silx, conçue pour enrichir ses fonctionnalités et faciliter son intégration dans des environnements scientifiques ou industriels. Il permet d'étendre les capacités de traitement et d'analyse de données.

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 projet est une extension logicielle conçue pour enrichir les fonctionnalités de la bibliothèque silx, principalement utilisée dans le domaine de la science des données et de la visualisation scientifique. Il vise à faciliter l'intégration et l'utilisation de modules complémentaires pour les utilisateurs de silx.

StarPart est un framework flexible et extensible offrant une API unifiée pour manipuler des structures de graphes, hypergraphes et maillages. Il est conçu pour être facilement extensible en ajoutant de nouvelles méthodes et pour s'intégrer dans un cadre complet. Il fournit initialement des méthodes de partitionnement de graphes et d'ordonnancement de matrices creuses provenant de logiciels de pointe tels que Metis, Scotch, Patoh, Zoltan, etc. De plus, il offre des fonctionnalités pour l'E/S, le diagnostic, le banc d'essai, la visualisation (VTK, SVG, etc.)