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++.

LibSBML est une bibliothèque logicielle permettant de lire, écrire et manipuler des fichiers et des flux de données contenant le Langage de Balisage de Modélisation Systèmes Biologiques (SBML). La bibliothèque prend en charge tous les niveaux et versions de SBML, jusqu'au Niveau 3 Version 1 Core. LibSBML est écrite en ISO standard C++ et C et fournit des API pour les langages C, C++, C#, Java, MATLAB, Octave, Perl, Python, R et Ruby. Elle fonctionne sur Linux, Windows et MacOS X.

Libcern est une bibliothèque logicielle standard pour le langage de programmation C. Elle offre un ensemble de fonctions et de routines essentielles pour le développement d'applications, facilitant la gestion de la mémoire, les opérations d'entrée/sortie, les calculs mathématiques et bien plus. Utilisée par des millions de développeurs, elle constitue la base de nombreux systèmes et logiciels modernes.

Ce projet est la bibliothèque standard du Rocq Prover, un assistant de preuve interactif. Il propose un langage formel pour écrire des définitions mathématiques, des algorithmes exécutables et des théorèmes, accompagnés d'un environnement pour développer des preuves vérifiées par machine. La bibliothèque standardise et organise les modules essentiels pour les utilisateurs et développeurs, favorisant ainsi la rigueur et la réutilisabilité dans les travaux de preuve formelle.

Why3 est une plateforme pour la vérification déductive de programmes. Elle fournit un langage riche pour la spécification et la programmation, appelé WhyML, et s'appuie sur des preuves externes, automatisées et interactives, pour prouver les conditions de vérification. Why3 dispose d'une bibliothèque standard de théories logiques et de structures de données de base telles que des tableaux, des files d'attente et des tables de hachage.

PhoenixDataGenerator est un outil open source conçu pour automatiser la génération de structures de données et de code source dans plusieurs langages (C, C++, Fortran). Il permet aux développeurs de créer rapidement des bibliothèques logicielles optimisées, en réduisant les erreurs manuelles et en standardisant les pratiques de développement. Idéal pour les projets nécessitant une gestion rigoureuse des données et une intégration facile dans des environnements de compilation existants.

Dklib est une bibliothèque open source conçue pour fournir des fonctions utilitaires et des outils réutilisables afin de simplifier le développement de logiciels. Elle regroupe des solutions courantes pour des problèmes récurrents, permettant aux développeurs d'économiser du temps et d'améliorer la qualité de leur code. Adaptée à divers langages et environnements, elle facilite l'intégration de bonnes pratiques et de fonctionnalités standardisées dans les projets.

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.