Le projet Dedukti est une plateforme dédiée à un outil de vérification de preuves formelles. Il permet aux chercheurs et développeurs de partager des travaux, des ressources et des avancées dans le domaine de la logique et de la vérification automatique. Le site sert de vitrine pour promouvoir l'outil et faciliter l'accès à sa documentation.

Site officiel de la mairie de Laneuveville-derrière-Foug, une commune française située en Lorraine. Il informe les habitants sur les actualités locales, les démarches administratives, les travaux en cours, les associations, les services publics et les événements. Le site facilite l'accès aux documents officiels et aux contacts de la mairie.

Ce dépôt compile les travaux d'un étudiant en master, incluant des expérimentations sur des problèmes d'optimisation transformés en QUBO/QAOA, ainsi qu'un journal de suivi. Il contient également des articles lus et des notes associées pour la rédaction de sa thèse. L'objectif est de structurer et documenter la recherche académique.

Ce dépôt semble être un projet de gestion de mémoire ou de thèse académique. Il pourrait inclure des outils pour organiser, rédiger et structurer des travaux de recherche ou des documents universitaires.

Ce site public informe sur le Plan national de gestion des matières et déchets radioactifs (PNGMDR) en France. Il propose des ressources pour comprendre les enjeux liés à ces déchets, détaille les filières de gestion existantes et permet au public de participer aux travaux du PNGMDR. Le site centralise également les rapports et documents officiels relatifs à ce plan gouvernemental.

Ce projet est une documentation collaborative du Système National des Données de Santé (SNDS) sous licence ouverte, maintenue par la DREES et l'INDS. Il résulte d'une mise en commun de documents et travaux par plusieurs organisations, dont la Cnam, l'INDS, la DREES et Santé publique France. La documentation est organisée en 6 sections : Introduction, Fiches thématiques, Glossaire, Ressources, Tables et Contribuer.

ArchiRès est le portail documentaire des écoles d'architecture françaises. Il centralise les ressources des bibliothèques et médiathèques des 20 ENSA (Écoles Nationales Supérieures d'Architecture) et de leurs laboratoires de recherche. Le service permet aux étudiants, enseignants et chercheurs d'accéder à des catalogues unifiés, des documents numériques (ebooks, vidéos, articles), des travaux d'étudiants, des fonds anciens et des matériauthèques. Il facilite également les échanges entre établissements via des prêts inter-bibliothèques et propose des actualités thématiques liées à l'architecture et à l'urbanisme.

Projet dédié à la gestion et à la documentation des activités du master-projet IN2P3 DecaLog. Il vise à centraliser les ressources, faciliter la collaboration entre chercheurs et étudiants, et diffuser les résultats des travaux menés dans le cadre de ce projet académique et scientifique.

Ce projet est un dépôt public dédié à un cours de programmation littéraire (Literate Programming) destiné aux étudiants de Licence 3 Miage. Il propose des ressources pédagogiques pour apprendre à combiner code et documentation, manipuler des données avec R, et créer des visualisations graphiques. Le dépôt inclut des spécifications de projets, des présentations théoriques et des travaux dirigés pour guider les étudiants dans leur apprentissage.

Le Service commun de la documentation (SCD) de l'Université Paris 1 Panthéon-Sorbonne centralise la gestion des bibliothèques universitaires. Il propose un accès aux ressources documentaires physiques et numériques, des services de prêt, de consultation de thèses, et des formations pour les étudiants et chercheurs. Le SCD accompagne également les usagers en situation de handicap et facilite la diffusion des travaux de recherche.