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.

Cette documentation propose des ressources à destination des Startup d'Etats pour les aider dans leurs démarches de design et d'expérience utilisateur.

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 est une documentation technique ou métier en cours de construction. Il vise à centraliser et structurer les informations pour faciliter la compréhension et l'utilisation des outils ou processus associés. Destiné aux équipes internes ou externes, il servira de référence pour les bonnes pratiques et les procédures.

Ce projet propose une plateforme de documentation accessible en ligne, permettant aux utilisateurs de consulter et de partager des informations structurées. Il sert de support pour des guides techniques, des manuels d'utilisation ou des ressources éducatives, facilitant ainsi l'apprentissage et la collaboration. Le contenu est publié sous licence ouverte, favorisant la transparence et la réutilisation.

Ce projet permet d'héberger et de publier des sites web statiques de manière simple et automatisée. Il facilite la mise à disposition de documentation technique, de pages d'information ou de contenus web pour des utilisateurs ou des groupes. Le service est intégré à une plateforme collaborative et offre une solution clé en main pour déployer des pages sans gestion complexe d'infrastructure.

Ce projet vise à centraliser et partager les bonnes pratiques autour de CEPH, une solution de stockage distribué. Il permet aux professionnels du secteur de collaborer, échanger des retours d'expérience et documenter des solutions techniques pour améliorer l'utilisation de CEPH dans des environnements distribués.

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.

Le projet documentation a pour but de fournir des informations sur un projet, de centraliser les connaissances d'une équipe et de documenter les procédures et les bonnes pratiques. Il permet de créer et de gérer des fichiers, de les organiser et de les partager avec d'autres membres de l'équipe.

Ce projet centralise la documentation technique des machines et robots d'une plateforme. Il permet aux équipes techniques d'accéder rapidement aux spécifications, schémas et procédures opérationnelles nécessaires au bon fonctionnement des équipements. Il sert de référence unique pour les développeurs et les opérateurs.