Bibliothèque et outil en ligne de commande Rust dédié à la manipulation de formules Decision-DNNF. Permet de compiler, vérifier, compter, énumérer et échantillonner des modèles logiques à partir de formules compilées. Utilisé en intelligence artificielle pour des tâches d'inférence et de raisonnement automatisé sur des connaissances structurées.

La bibliothèque FFLAS-FFPACK fournit un ensemble de sous-programmes de base pour l'algèbre linéaire sur un corps fini ou l'anneau des entiers avec des matrices denses et creuses. Elle s'inspire de l'interface BLAS (Basic Linear Algebra Subprograms) et de la bibliothèque LAPACK pour l'algèbre linéaire numérique, et partage certaines de leurs conceptions. Cependant, elle diffère à bien des égards en raison des spécificités du calcul sur des domaines exacts tels que les corps finis et le corps des rationnels : elle est générique par rapport au corps fini, de sorte que toutes les routines utilisent la genericité de modèle C++ et la bibliothèque est principalement destinée à être utilisée comme une bibliothèque de code source, à être incluse et compilée dans le logiciel de l'utilisateur.

Ce projet propose une collection de macros pour Autoconf destinées à simplifier et standardiser la configuration de projets C/C++. Il permet d'automatiser la détection de bibliothèques externes, de générer des métadonnées pour les paquets logiciels, et d'offrir des options de compilation avancées comme le mode debug ou la couverture de code. Les macros réduisent la duplication de code et améliorent la portabilité des projets.

Ce projet facilite l'installation de bibliothèques couramment utilisées dans l'équipe M3DISIM en proposant une installation aisée des mêmes bibliothèques compilées avec différents compilateurs ou options. Chaque bibliothèque installée est accompagnée d'un fichier _M3DISIM_Build.txt_ décrivant les détails de la compilation.

Bibliothèque simple pour gérer les intervalles dans le compilateur Faust. Permet de déterminer la taille d'une ligne de délai, de vérifier l'exécution correcte d'un programme Faust, de calculer la précision nécessaire pour les implémentations fix-point et FPGA, et de détecter et rapporter les erreurs au moment de la compilation.

Ce projet fournit un modèle de départ pour développer des bibliothèques en Rust compilées en WebAssembly. Il permet aux développeurs de créer des modules performants exécutables dans les navigateurs web, facilitant ainsi l'intégration de fonctionnalités avancées comme des algorithmes complexes ou des traitements intensifs directement dans les applications web modernes.

Ce dépôt centralise les bibliothèques tierces (TPLs) nécessaires à la compilation et à l'exécution de l'application proxyApp, dédiée au calcul haute performance. Il regroupe des outils comme KOKKOS, RAJA, Chai ou Umpire, essentiels pour les simulations scientifiques et les calculs parallèles. Les bibliothèques sont préconfigurées pour une intégration simplifiée via CMake, permettant aux développeurs de se concentrer sur leur code métier sans gérer manuellement les dépendances complexes.

Gradle est un outil d'automatisation de la construction de logiciels qui permet de compiler, tester et déployer des projets de manière efficace. Il simplifie la gestion des dépendances entre bibliothèques et modules, facilitant ainsi le travail des développeurs. Grâce à sa flexibilité et sa performance, il est largement adopté pour des projets de toutes tailles, des petites applications aux grands systèmes.

Projet pédagogique conçu pour initier les développeurs aux bonnes pratiques de gestion de code source et de compilation logicielle. Il propose une architecture modulaire en C++ avec des bibliothèques et des exécutables dédiés à l'analyse de données scientifiques. Le projet inclut des outils de configuration automatisée pour faciliter le déploiement et l'exécution des programmes.

Bibliothèque C++ dédiée à la manipulation de structures arborescentes avec partage maximal (hash-consing). Elle permet de gérer des arbres immuables où deux structures identiques partagent le même pointeur, optimisant ainsi la mémoire et les performances. Elle inclut des outils pour les symboles, listes, ensembles, environnements, arbres récursifs et des primitives de réécriture. Utilisée notamment dans le compilateur Faust pour des analyses et transformations de syntaxe.