Ce dépôt fait partie d'un ensemble dédié à la gestion de ressources partagées, notamment dans un contexte éducatif ou de bibliothèque numérique. Il agit comme un référentiel standardisé permettant d'accéder, de naviguer et de sélectionner des fichiers depuis des interfaces comme des sélecteurs de fichiers ou des explorateurs. Les ressources sont organisées via des métadonnées plutôt que par une hiérarchie physique de dossiers, facilitant ainsi leur recherche et leur utilisation dans différents contextes.

Ce projet est une implémentation de la théorie des ensembles dans Dedukti, utilisant une version intuitionniste de la théorie des ensembles où les ensembles sont représentés par des graphes pointés. Il contient plusieurs fichiers de code organisés en fonctionnalités, notamment la logique, les nombres naturels, la théorie des graphes pointés, la théorie des formules, l'extension de la langue, la preuve de la théorie des ensembles et des lemmes associés.

Ce projet fournit une structure organisée pour stocker et gérer des ressources multimédias (images, GIFs) destinées à être intégrées dans des présentations LaTeX, notamment avec le package Beamer. Il propose des règles de nommage et d'organisation pour faciliter la collaboration et éviter les doublons. Le dépôt inclut également des guides pratiques pour convertir des fichiers GIF en formats compatibles avec LaTeX et les utiliser dans des présentations.

Ce projet définit des conventions strictes pour le nommage des fichiers et dossiers liés à des requêtes SQL, notamment les triggers et autres requêtes. Il propose une structure claire pour organiser les fichiers de test associés, facilitant ainsi la maintenance et la collaboration dans un environnement de développement de bases de données.

Emacs est un éditeur de texte extensible et personnalisable, souvent utilisé par les développeurs pour configurer leur environnement de travail. Il permet une gestion flexible des fichiers, des notes et des configurations via des fichiers en mode org, facilitant ainsi l'organisation et la productivité.

Bibliothèque C++ dédiée à la manipulation de fichiers et ensembles de données au format NeXus, un standard ouvert pour la gestion de données issues de grands instruments scientifiques. Elle facilite l'écriture, la lecture et l'organisation des données expérimentales, notamment dans le domaine de la physique et de la chimie. Développée par Synchrotron SOLEIL, elle s'appuie sur la bibliothèque HDF5 pour garantir une gestion robuste et performante des données.

Ce plugin permet d'importer des données géographiques (traces, favoris, itinéraires) depuis l'application OsmAnd sur un appareil Android vers QGIS. Les données sont organisées par type (points, lignes) et les notes audiovisuelles (photos, vidéos, sons) sont téléchargées et spatialisées. Le tout est stocké dans un fichier GeoPackage pour les données géographiques et dans leur format original pour les médias.

Ce projet permet de centraliser et organiser des ressources numériques comme des fichiers, des images ou des documents techniques. Il facilite le partage et la gestion des métadonnées associées à ces ressources, notamment pour des projets logiciels ou des équipes de développement. L'objectif est d'offrir un espace structuré pour stocker, classer et retrouver facilement ces éléments.

Ce projet permet de gérer des données métiers structurées, notamment des présentations et des fichiers associés. Il offre des fonctionnalités pour organiser et stocker des informations utiles à une activité professionnelle, tout en facilitant la gestion des utilisateurs et des fichiers. L'outil est conçu pour centraliser des ressources internes et améliorer l'efficacité opérationnelle.

Ce projet permet de stocker et organiser des carnets Jupyter, des fichiers interactifs utilisés pour le développement, l'analyse de données et la recherche. Il facilite la gestion de scripts, de calculs et de visualisations dans un environnement structuré, idéal pour les data scientists, développeurs et chercheurs.