Cette bibliothèque fournit des outils mathématiques formalisés pour aider à la vérification d'implémentations cryptographiques. Elle permet aux développeurs et chercheurs de s'assurer que les algorithmes cryptographiques respectent des propriétés de sécurité strictes, réduisant ainsi les risques de vulnérabilités dans les systèmes critiques comme les protocoles de communication ou les infrastructures sécurisées.

Plateforme open source qui propose des outils et des jeux de données pour analyser, sécuriser et maintenir les infrastructures numériques critiques. Elle centralise les métadonnées des dépôts logiciels (GitHub, GitLab, etc.) et fournit des services comme le parsing de dépendances, la résolution de versions, ou la génération de SBOM. Destinée aux développeurs, chercheurs et organisations pour améliorer la transparence et la résilience des écosystèmes logiciels.

Ce projet fournit un modèle simplifié pour créer des guides d'implémentation FHIR (Implementation Guide) destinés à standardiser l'échange de données médicales. Il facilite la documentation technique et la conformité aux normes HL7 pour les développeurs travaillant dans le domaine de la santé. Le projet inclut des outils pour générer des sites web structurés, des ressources FHIR et des diagrammes, afin d'assurer une interopérabilité optimale entre les systèmes de santé.

Ce projet est un template open source conçu pour faciliter la création de chatbots. Il fournit une structure de base et des outils pour aider les développeurs à concevoir, entraîner et déployer des agents conversationnels. Il inclut des modèles de fichiers de configuration, des exemples de dialogues et des instructions pour intégrer le chatbot dans une interface utilisateur. Destiné aux administrations et organisations publiques, il vise à standardiser les bonnes pratiques en matière de développement de chatbots.

Ce projet fournit des outils et tutoriels pour développer des applications utilisant la programmation parallèle avec SyCL, notamment pour exploiter les capacités des GPU et accélérateurs. Il inclut des benchmarks pour évaluer les performances et des guides pratiques pour configurer des environnements de développement sur des machines équipées de cartes NVIDIA ou Intel. Destiné aux développeurs et chercheurs en calcul haute performance.

Ce projet propose une formation complète à l'écoconception des services numériques, destinée aux équipes techniques (développeurs, architectes, chefs de projet). Il vise à les sensibiliser aux enjeux environnementaux du numérique et à leur fournir des outils pratiques pour concevoir, auditer et optimiser des services numériques plus sobres. La formation inclut des modules théoriques, des guides pratiques et des checklists pour évaluer et améliorer l'empreinte écologique des projets.

Framework open source permettant de concevoir des jeux compétitifs où des intelligences artificielles s'affrontent. Il fournit les outils nécessaires pour générer des structures de code, gérer les communications réseau et développer des mécaniques de jeu. Destiné aux étudiants ou développeurs souhaitant s'entraîner à créer des algorithmes pour des jeux en 1 contre 1, avec des niveaux de difficulté variables.

Plateforme open source dédiée au développement d'applications mobiles pour smartphones et tablettes. Elle fournit des outils et des bibliothèques pour créer des interfaces utilisateur intuitives, optimiser les performances des applications et garantir leur sécurité. Android est largement adopté par les développeurs et les fabricants d'appareils, offrant une compatibilité étendue sur divers appareils.

Ce projet fournit une vue d'ensemble et des outils pour gérer des modules embarqués dédiés aux systèmes SAM. Il centralise la documentation technique, les images Linux pour cartes microSD, ainsi que les logiciels et matériels associés. Destiné aux développeurs et administrateurs système, il facilite le déploiement, la maintenance et la mise à jour des environnements embarqués.

Ce projet fournit une image conteneurisée pour faciliter le déploiement et la gestion d'applications dans un environnement standardisé. Il s'intègre avec des outils de CI/CD pour automatiser les tests, les déploiements et la collaboration au sein des équipes de développement. Destiné aux développeurs et aux équipes DevOps, il simplifie la mise en production et la maintenance des applications.