Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Ministère de l’Enseignement supérieur, de la Recherche et de l'Espace
- ImageMagick
- G'MIC est un framework open-source pour le traitement et la visualisation d'images numériques. Il propose plusieurs interfaces utilisateur, dont un outil en ligne de commande, une bibliothèque C++, un plug-in pour GIMP, Krita, Photoshop et Paint.NET, et un service web. G'MIC offre plus de 1000 algorithmes et pipelines d'image processing.
- Zenon Modulo est un solveur de preuves automatisé pour la logique du premier ordre classique avec types polymorphes. Il accepte les fichiers d'entrée avec la syntaxe TPTP (FOF et TFF1) et Dedukti. Il peut produire des certificats de preuve pour Dedukti. Il est utilisé dans les projets FoCaLiZe et BWare.
- ESUP-SyGAL est une application web dédiée à la gestion et à l'accompagnement des doctorants et de leurs thèses. Il permet de suivre l'avancement des travaux, de gérer les validations et les évaluations, et de faciliter la communication entre les différents acteurs impliqués dans le processus de thèse.
9 initiatives
10