Ce tutoriel est une introduction à la programmation moderne en C++. À la fin de ce dernier, vous devriez comprendre la syntaxe et les mécanismes de base du langage C++, connaître les différents styles de programmation, être capable d'utiliser la bibliothèque standard et être conscient des bonnes pratiques de programmation en C++.

Le projet coq-hol-light est une bibliothèque Coq contenant une traduction automatique de la bibliothèque HOL-Light, utilisant hol2dk et lambdapi. Cette bibliothèque fournit des axiomes pour les théorèmes traduits, permettant une vérification rapide dans Coq. Elle vise à fournir une bibliothèque directement utilisable dans Coq, alignant les fonctions et prédicats HOL-Light sur ceux définis dans la bibliothèque standard Coq.

Cette bibliothèque facilite le dessin de schémas de graphes simples en utilisant le format CSV comme sortie standard pris en charge par latex, typst ou même libreoffice/word. Elle permet l'empilement hiérarchique de nœuds, la disposition automatique des nœuds à l'aide du solveur z3 de Microsoft, l'ajout de contraintes de placement de nœuds, la connexion automatique de nœuds à l'aide de flèches ou d'arêtes et l'ajout de texte sur les arêtes.

Ce projet est une bibliothèque de composants d'interface (UI Kit) destinée à uniformiser et simplifier le développement des interfaces des services publics numériques. Il propose des éléments graphiques et fonctionnels prêts à l'emploi, accompagnés de leur documentation technique et d'exemples d'utilisation. L'objectif est d'accélérer la création d'applications accessibles, cohérentes et conformes aux standards de l'État.

Cette bibliothèque fournit des fichiers vernaculaires contenant une formalisation de l'analyse réelle pour l'assistant de preuve Coq. Elle est une extension conservative de la bibliothèque standard Reals avec un accent sur l'utilisabilité.

Ce projet teste l'utilisation des routines d'allocation de mémoire partagée Damaris en tant qu'allocateur pour les conteneurs de la bibliothèque standard C++, spécifiquement pour std::vector<>, mais éventuellement pour tout conteneur de données de la bibliothèque standard C++ qui accepte un allocateur défini par l'utilisateur.

Ce projet définit un standard pour l'organisation et la description des bibliothèques OCaml installées sur le système. Il vise à permettre une interaction harmonieuse entre divers outils et bibliothèques tels que `dune`, `ocamlfind` et `findlib`, et également à permettre aux auteurs d'outils OCaml de faire des suppositions sûres lorsqu'ils ont besoin d'utiliser des bibliothèques OCaml installées.

Bibliothèque permettant une utilisation transparente des types d'images et de vidéos standards avec OpenCV.

Findlib est un outil destiné aux développeurs utilisant le langage de programmation OCaml. Il permet de gérer les dépendances entre bibliothèques et de simplifier l'installation de celles-ci. Findlib facilite également l'intégration de ces bibliothèques dans les projets OCaml grâce à une interface standardisée.

La Bibliothèque de Laiz propose un accès gratuit à des ouvrages, périodiques et supports multimédias pour tous les publics. Elle organise des activités culturelles, des ateliers et des animations pour promouvoir la lecture et l'accès à la culture. Le service inclut des espaces de consultation, des prêts à domicile et des ressources numériques adaptées aux besoins des habitants.