Rocq-prover.org est une plateforme en ligne dédiée au langage Rocq, un assistant de preuve formelle. Elle centralise la documentation technique, les paquets logiciels et les ressources pédagogiques pour faciliter l'apprentissage et le développement avec Rocq. Le site propose une interface moderne et accessible, adaptée aux besoins des chercheurs, développeurs et étudiants en informatique théorique.

Projet académique réalisé dans le cadre d'un cours d'apprentissage statistique. Il consiste à implémenter des méthodes de filtrage adapté pour identifier et analyser des signaux dans des données. Le travail inclut la documentation technique et des exemples d'application pour illustrer les concepts théoriques abordés.

Documentation technique de l'API Trackdéchets, développée par le Ministère de la Transition Écologique. Elle permet aux acteurs de la chaîne de traçabilité des déchets dangereux (producteurs, transporteurs, traiteurs) d'interfacer leurs systèmes informatiques avec la plateforme pour échanger des données de manière standardisée et sécurisée. L'API GraphQL offre un accès simplifié aux fonctionnalités de la plateforme, facilitant ainsi la conformité réglementaire et la gestion des déchets.

Ce projet vise à offrir une documentation technique complète et à jour pour les développeurs souhaitant interagir avec les API de Grand Lyon. Il est construit à l'aide de MkDocs et mkdocs-material, et peut être exécuté localement ou via Docker.

Ce projet a pour but de fournir une documentation technique et centralisée pour faciliter la prise en main et la compréhension d'un projet. Il est hébergé sur GitLab et peut être modifié en utilisant le gestionnaire de version Git.

Le projet Documentation fait partie de l'organisation GitHub Signaux-Faibles et regroupe les outils développés par la startup d'état Signaux Faibles. Il vise à fournir les outils techniques nécessaires à la détection algorithmique et à la diffusion des résultats auprès des utilisateurs. Il comprend plusieurs logiciels, dont signauxfaibles-web, datapi, opensignauxfaibles, prepare-import, keycloakUpdater, libwekan, goSirene, wekan-alerter, et signaux-faibles.github.io.

Ce projet fournit une documentation technique centralisée pour faciliter la compréhension, l'utilisation et la maintenance d'un outil ou d'un logiciel. Il sert de référence pour les développeurs, les contributeurs et les utilisateurs finaux, en regroupant les bonnes pratiques, les procédures d'installation, les exemples d'utilisation et les spécifications techniques. Il favorise la transparence et l'harmonisation des processus au sein d'une organisation.

Ce projet fournit une documentation technique et des ressources pour le projet HiPeRTA, un système lié à la physique des particules. Il inclut des guides pour la gestion des logs, des rapports d'activité et des procédures de suivi des quarts de travail. Destiné aux équipes scientifiques et techniques, il facilite la collaboration et la maintenance du projet.

Ce projet vise à centraliser et structurer la documentation technique d'une organisation ou d'une communauté. Il permet aux équipes de consulter, rechercher et partager facilement les informations essentielles pour leurs projets. Accessible en ligne, il sert de référence unique pour les processus, les API, les bonnes pratiques et les guides techniques.

Ce projet sert de base centralisée pour la documentation technique et collaborative. Il permet aux équipes de développement de structurer, partager et maintenir facilement des informations essentielles à leurs projets. Il facilite l'intégration d'outils et l'automatisation des workflows pour améliorer l'efficacité des équipes techniques.