Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Le projet docker-mathcomp fournit des images Docker de versions stables de la bibliothèque Mathematical Components pour l'assistant de preuve Coq. Ces images sont basées sur les images coqorg/coq, qui reposent sur Debian 11 Slim et opam 2.0. Le projet vise à faciliter l'utilisation de la bibliothèque Mathematical Components, à fournir un environnement Coq préconfiguré et à simplifier l'installation et la gestion des dépendances Coq.
- Le projet swh-loader-cvs est dédié à la gestion de versions de fichiers, en particulier pour le système de contrôle de version CVS. Il intègre un système de planification pour automatiser les tâches et gérer les dépendances. De plus, il utilise une bibliothèque de gestion des exceptions et de retries pour assurer une exécution fiable des opérations. Le projet inclut également des tests automatisés pour garantir son bon fonctionnement.
- Nholthaus-units est une bibliothèque C++ header-only, sans dépendance, dédiée à l'analyse dimensionnelle et à la conversion d'unités de grandeurs physiques. Elle fournit des fonctionnalités de calcul arithmétique sur les grandeurs physiques, de conversion d'unités et de gestion des grandeurs sans unité.
- Service public en ligne qui propose une API ouverte pour extraire et analyser les métadonnées de dépendances logicielles issues de multiples écosystèmes open source. Il permet aux développeurs et aux outils automatisés de récupérer facilement les informations nécessaires à la gestion des bibliothèques et modules utilisés dans leurs projets, facilitant ainsi l'interopérabilité et la maintenance des logiciels.
- Ecosyste.ms Parser est un service API open source qui permet d'analyser et d'extraire les métadonnées de dépendances logicielles à partir de fichiers de configuration de divers écosystèmes open source. Il simplifie l'audit des projets en fournissant une interface unifiée pour accéder aux informations de dépendances, facilitant ainsi la gestion des bibliothèques et des composants utilisés dans les projets logiciels.
- Une collection de bibliothèques C++ utilitaires sans dépendance externe, fournissant des fonctionnalités telles que le hachage de chaînes, des conteneurs personnalisés, la gestion de bitmask, l'extraction d'informations sur les types à la compilation, et l'exécution de fonctions lors de la sortie d'un scope.
20 initiatives
10