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 UI Kit du Lab. ANSSI est une bibliothèque de composants Svelte et WebComponents conçue pour uniformiser et accélérer le développement d'interfaces utilisateur cohérentes et accessibles au sein des produits du Lab ANSSI. Il s'appuie sur le DSFR pour garantir une expérience utilisateur conforme aux standards de l'État français, tout en offrant des outils modernes pour faciliter l'intégration dans divers environnements front-end.

PhoenixMacro est une bibliothèque C++ conçue pour simplifier et automatiser la gestion des macros dans les projets de développement logiciel. Elle permet de centraliser les définitions de macros, de faciliter leur réutilisation et de réduire les erreurs courantes liées à leur utilisation manuelle. Idéale pour les équipes travaillant sur des projets complexes, elle offre des outils pour parser, analyser et générer des fichiers de configuration, tout en assurant une intégration fluide avec les environnements de compilation standards comme CMake.

Ce projet est un plugin pour la bibliothèque LImA, spécialisé dans le contrôle et l'acquisition d'images à partir de caméras Basler. Il permet de configurer des paramètres d'acquisition standard (temps d'exposition, déclenchement externe), de gérer des détecteurs 2D et de sauvegarder les images capturées. Utilisé principalement dans des environnements scientifiques et industriels, il facilite l'intégration de caméras matérielles spécifiques tout en offrant une interface unifiée pour le traitement et l'analyse d'images.

Outil spécialisé dans la création de palettes de couleurs adaptées à la visualisation de données et à la cartographie. Il permet de générer des schémas séquentiels, divergents ou catégoriques, ainsi que des motifs compatibles avec des bibliothèques de cartographie. Basé sur des standards modernes comme oklch et color-mix(), il garantit des résultats perceptuellement uniformes et adaptés aux besoins des utilisateurs.

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.

Ce projet fournit une bibliothèque logicielle open source pour le contrôle unifié de caméras scientifiques, notamment les caméras Prosilica. Il permet de gérer l'acquisition d'images haute résolution, de configurer des paramètres d'acquisition standard (temps d'exposition, déclenchement externe) et de synchroniser plusieurs détecteurs. La solution est utilisée dans des environnements de recherche et d'industrie pour des applications nécessitant une imagerie précise et fiable.

Ce projet est une bibliothèque logicielle conçue pour faciliter l'intégration et l'utilisation de la bibliothèque FLTK (Fast Light Toolkit) dans des environnements de développement. Il simplifie la création d'interfaces graphiques en offrant des composants réutilisables et des outils adaptés aux besoins des développeurs. Destiné aux chercheurs et ingénieurs, il permet d'accélérer le développement d'applications graphiques tout en garantissant une compatibilité avec les standards du framework PID.

Projet open source dédié à la création de composants web légers et réutilisables. Il permet aux développeurs de concevoir des interfaces utilisateur modulaires et maintenables en utilisant la bibliothèque Lit. Ces composants sont conçus pour être performants, faciles à intégrer et compatibles avec les standards du web moderne.

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.