Holide est un traducteur de fichiers de théories formelles de HOL vers Dedukti. Il permet de vérifier la validité des théories formelles dans le langage Dedukti.

Popplonode est un module Node.js qui permet d'extraire les métadonnées et le texte à partir d'un fichier PDF en utilisant du code C++ pur, offrant ainsi des performances supérieures à PDFJS et à une exécution de pdfinfo.

PFactory est une bibliothèque parallèle conçue pour faciliter l'implémentation de solveurs parallèles en C++. Elle fournit des implémentations robustes d'algorithmes parallèles et permet un partage facile d'informations, ainsi que des méthodes de type divide-and-conquer ou portfolio. pFactory n'est pas liée à un problème spécifique et peut être facilement intégrée pour résoudre tout type de problème combinatoire (SAT, CSP, MAXSAT...).

Ce projet permet la gestion de versions de logiciels, le suivi des modifications apportées par les membres de l'équipe, la collaboration en temps réel, et l'intégration continue pour un développement efficace et sans heurts.

Forge est une plateforme de développement collaborative qui permet de gérer des projets de développement, d'automatiser les workflows, de contrôler les versions et de faciliter la collaboration entre les membres de l'équipe. Elle offre des fonctionnalités d'intégration continue et de déploiement continu pour garantir des livraisons rapides et fiables.

This project focuses on optimizing the selection of materials for manufacturing processes by simulating their behavior under different conditions and providing data-driven insights to aid in decision making. By utilizing advanced algorithms and data analysis techniques, the project aims to reduce costs, improve efficiency, and promote sustainability in manufacturing industries.

The pipeline project is a tool that automates software development workflows, monitors code repositories for changes, and triggers CI/CD pipelines to ensure smooth and efficient development processes.

This project provides a code repository with integrated tools to automate the code review process and perform static code analysis. It helps developers to improve code quality and maintainability by identifying potential issues and vulnerabilities. The project can be integrated with popular development tools to streamline the development workflow.

Ce projet est un dépôt de recettes pour la création de paquets logiciels destinés à être intégrés dans un dépôt conda-forge. Il permet de gérer les recettes, d'automatiser la construction des paquets et de vérifier leur qualité.

Ce projet vise à fournir une solution d'hébergement de code source et de gestion de la chaîne d'outils de développement logiciel, en intégrant des fonctionnalités d'intégration continue, de déploiement continu et d'hébergement de pages web.