Ce projet vise à structurer et analyser les données publiques des décès en France depuis 1971 sous forme de graphes sémantiques. Il permet de transformer des fichiers CSV en données RDF exploitables pour des recherches avancées ou des analyses statistiques. Les données sont organisées par tranches d'années et par villes, facilitant leur réutilisation par des chercheurs, institutions ou développeurs.

Démonstration de la réplication de vidéos de conduite autonomes avec Docker. Permet de visualiser différents scénarios de conduite en utilisant des fichiers de données organisés et stockés sur des serveurs FTP.

Le projet fichiers.collectif-objets.beta.gouv.fr permet le partage et la gestion de fichiers au sein du collectif Objets. Il offre un espace dédié à l'organisation et au stockage de documents, facilitant ainsi le travail collaboratif.

Ce projet propose un ensemble de règles pour l'outil OPNsense afin de détecter et bloquer des applications spécifiques comme YouTube, Netflix ou des services de messagerie. Les règles sont organisées par catégories (transfert de fichiers, streaming, réseaux sociaux, etc.) pour faciliter leur application. Les utilisateurs peuvent contribuer en ajoutant de nouvelles règles ou en modifiant celles existantes via des fichiers dédiés.

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 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.

Forge Artifactory est une plateforme dédiée à la gestion centralisée des artefacts logiciels et des dépendances utilisées dans les projets de développement. Elle permet aux équipes techniques de stocker, organiser et partager des bibliothèques, des images Docker ou des fichiers binaires, facilitant ainsi la collaboration et l'automatisation des processus de build et de déploiement. Adaptée aux environnements DevOps, elle optimise la chaîne de livraison des logiciels.

.github est une organisation GitHub dédiée à l'hébergement et à la gestion de fichiers de configuration standardisés pour les projets logiciels. Elle facilite l'automatisation des processus de développement, la collaboration entre équipes techniques et l'application de bonnes pratiques DevOps. Les dépôts proposent des templates, des workflows et des outils réutilisables pour accélérer le déploiement et améliorer la qualité des logiciels.

Outil dédié à la génération automatique de fichiers et de structures de projets pour le développement en C++. Il facilite la création de projets standardisés en automatisant la génération de fichiers sources, d'en-têtes, de fichiers CMake et de répertoires. Destiné aux développeurs, il permet de gagner du temps et d'assurer une cohérence dans l'organisation des projets.

Ce tutoriel pédagogique explique comment utiliser les branches dans Git pour gérer des développements parallèles de fichiers. Il couvre la création, la fusion et la résolution de conflits entre branches, permettant aux utilisateurs d'organiser et de synchroniser leurs modifications sans dépendre d'une connexion constante à un serveur. Destiné aux débutants et aux développeurs souhaitant maîtriser les bases de la gestion de versions distribuée.