Opam est un gestionnaire de paquets dédié aux outils de preuve formelle Rocq Prover et Coq. Il permet de distribuer, maintenir et installer des bibliothèques et extensions officielles ou en développement. Ce dépôt centralise les paquets pour les versions stables et expérimentales, facilitant ainsi la réutilisation et l'intégration des outils dans des projets de preuve formelle.

La plateforme Coq est une distribution du logiciel Coq, un assistant de preuve pour les mathématiques, accompagnée d'une sélection de bibliothèques et de plugins. Elle vise à être indépendante du système d'exploitation, fiable, facile à installer et complète.

Le site des Bibliothèques de Vendée est une plateforme dédiée à la promotion de la lecture et des bibliothèques du département. Il offre des ressources pour les professionnels, des formations, des actions culturelles pour les publics, ainsi que des ressources numériques.

Portail public des bibliothèques de la ville de Loos, offrant un accès aux ressources documentaires, aux horaires, aux événements culturels et aux services d'inscription. Le site facilite la découverte des nouveautés littéraires et propose des outils pour les usagers, comme la recherche détaillée ou les sélections thématiques.

La bibliothèque de Gron est un espace public dédié à la culture et à la connaissance, offrant un accès gratuit à des milliers de documents (livres, CD, DVD, jeux) pour tous les publics. Elle propose des services de prêt, des ateliers créatifs, des animations culturelles et des espaces de travail. Son catalogue en ligne permet de rechercher et réserver des ressources. Elle participe également à des initiatives locales pour encourager la lecture et les loisirs culturels.

La Bibliothèque de L'Union est un espace public dédié à la promotion de la lecture, de la culture et de l'accès au savoir pour tous. Elle propose un large catalogue de livres, documents multimédias, ressources numériques et organise des animations, ateliers et événements pour tous les âges. Elle sert de médiathèque municipale, offrant des services adaptés aux besoins des habitants, des enfants aux adultes, en passant par les seniors.

La Bibliothèque de Cast propose un catalogue en ligne permettant aux habitants d'accéder à des collections variées de livres, documents et médias. Elle facilite la recherche, le prêt et la découverte de ressources culturelles adaptées à tous les publics, des enfants aux adultes. Le site permet également de consulter les horaires d'ouverture, les informations pratiques et de gérer son compte personnel pour réserver ou prolonger des emprunts.

Service public municipal proposant l'accès gratuit à des bibliothèques de quartier et une médiathèque centrale. Permet l'emprunt de livres, films, musique et instruments, ainsi que l'accès à des espaces de travail, jeux et ateliers culturels. Organise des rencontres littéraires, concerts et activités pour tous les âges. Propose également des ressources en ligne comme des livres numériques et magazines.

Réseau de bibliothèques municipales proposant un accès gratuit à des collections variées (livres, musique, cinéma, jeux vidéo) pour tous les âges. Organise des animations, ateliers et événements culturels. Gère des services numériques comme le prêt de liseuses et des ressources en ligne. Propose également un accès au patrimoine local et des collections spécialisées.