The cmake_external_nlopt project provides a way to interface with the NLOpt library, which is a free/open-source library for nonlinear optimization. It offers a variety of optimization algorithms for solving unconstrained and constrained optimization problems, as well as minimizing or maximizing objective functions. This project is useful for researchers, scientists, and engineers who need to optimize numerical algorithms in their work.

The cmake_external_scotch project is a collection of tools for managing complex data structures, optimizing numerical simulations, and partitioning large graphs. It is built using the SCOTCH and PT-SCOTCH libraries, which provide efficient algorithms for graph partitioning, sparse matrix ordering, and related tasks.

Lmpcpp est une bibliothèque logicielle dédiée à la planification de trajectoires et au contrôle de robots mobiles et manipulateurs. Elle permet de générer des trajectoires optimales en termes de temps et d'énergie, en prenant en compte les contraintes de vitesse, d'accélération et d'évitement d'obstacles. Elle s'appuie sur des algorithmes avancés de calcul matriciel et d'optimisation numérique, et offre une interface flexible et facile à utiliser pour les développeurs et les chercheurs en robotique.

GSL (GNU Scientific Library) est une collection de routines numériques pour le calcul scientifique. Il offre une large gamme de fonctionnalités pour la résolution de problèmes mathématiques complexes, tels que l'algèbre linéaire, les équations différentielles, les statistiques, les fonctions spéciales et les algorithmes optimisés.

Implémentation en Rust de l'algorithme de broadcast byzantin tolérant aux fautes message-adversary (MBRB) décrit dans l'article [Byzantine-Tolerant Reliable Broadcast in the Presence of Silent Churn]. Cet algorithme utilise des signatures numériques (BLS multisignatures) pour atteindre une résilience et des performances optimales.

BuDDy est une bibliothèque C++ de deuxième génération dédiée aux Diagrammes de Décision Binaire (BDD). Développée initialement par Jorn Lind-Nielsen, elle permet de simplifier et d'optimiser des circuits logiques, d'analyser et de vérifier des systèmes numériques, ainsi que de réduire la complexité algorithmique.