Logipedia is a project that aims to translate and share formal proofs between several systems. The website displaying all available proofs can be reached at http://logipedia.science.

Episciences est une plateforme de publication de revues scientifiques en libre accès. Elle offre des fonctionnalités de gestion de soumissions d'articles, d'évaluation par les pairs et d'archivage des articles publiés.

Site de documentation technique de l'infrastructure numérique de Biblissima+, Observatoire des cultures écrites anciennes de l’argile à l’imprimé (ANR-21-ESRE-0005). Il est créé et maintenu par l’équipe Portail Biblissima+.

Site de documentation technique de l'infrastructure numérique de Biblissima+, Observatoire des cultures écrites anciennes de l’argile à l’imprimé (ANR-21-ESRE-0005). Il est créé et maintenu par l’équipe Portail Biblissima+.

Ce projet a pour but de partager l'ontologie ICAN, axée sur la représentation de données aneurysmales multimodales via un graphe de connaissances.

WIMS-LTI est un serveur intermédiaire qui relie les serveurs WIMS et LMS en utilisant LTI. Il permet la création de classes WIMS associées à des cours LMS, la création d'étudiants dans les classes WIMS correspondantes, la connexion des étudiants au serveur WIMS via LMS, la connexion des enseignants aux classes WIMS en tant que superviseurs ou étudiants, et l'envoi des notes des étudiants vers le LMS.

La documentation ISTEX couvre les usages documentaires, les usages pour la fouille de texte, les fonctionnalités de l'API, ainsi que les différentes façons d'intégrer ISTEX dans un ENT.

Outil en ligne de commande (CLI) et bibliothèque Python permettant d'appliquer un ensemble d'outils d'exploration de données Minet sur un ensemble hétérogène d'URLs.

Ce projet est une documentation technique pour le projet PLMShift, hébergée sur le domaine plmshift.pages.math.cnrs.fr. Il permet aux utilisateurs de consulter et de contribuer à la documentation en ligne en suivant un processus simple de clonage, édition et push des mises à jour.

Pyotb est une bibliothèque Python permettant de simplifier l'utilisation de l'Orfeo Toolbox (OTB), une boîte à outils dédiée au traitement et à l'analyse d'images satellitaires et de données géospatiales. pyotb offre une interface pythonique et conviviale pour les développeurs, permettant d'utiliser facilement les applications OTB, de gérer les entrées/sorties complexes de manière simplifiée, et de bénéficier du mécanisme de streaming OTB pour un traitement paresseux et efficace.