GeoCoqInE-Tarski est un projet de démonstration et de vérification automatique de théorèmes géométriques. Il s'appuie sur le système de déduction Dedukti et le logiciel de preuve Coq. Il permet de formaliser des preuves géométriques et de les vérifier automatiquement, ce qui facilite la certification des résultats et la détection d'erreurs.

Programme de certification porté par le ministère de l'Intérieur visant à valider les compétences des experts en DevSecOps et Cloud Native. Il propose des formations, des évaluations pratiques et théoriques, ainsi qu'un cadre méthodologique pour accompagner les équipes dans la production de logiciels de qualité, évolutifs et maintenables. La certification est valable un an et s'appuie sur des ressources open-source pour l'autoformation et l'embarquement.

Ce projet vise à permettre la publication des études de veille réalisées dans le cadre du marché de support logiciel libre au bénéfice de l'administration française. Les études couvrent divers domaines, tels que les catalogues de données, la qualité des données, les solutions de prototypage de site web, les VPN et les autorités de certification.

Ce projet fournit un ensemble de paquets logiciels nécessaires à l'exploitation de la plateforme OKDP. Il inclut les fondations d'infrastructure (ingress, DNS, certificats, bases de données, gestion des identités) et le stockage objet sous-jacent aux services de la plateforme. Les paquets sont publiés sous forme d'artefacts OCI et consommés par KuboCD pour déployer des services Kubernetes.

API Entreprise est un service public qui permet aux administrations d'accéder de manière sécurisée et certifiée aux données administratives des entreprises et associations. Il centralise et agrège les informations issues de multiples sources (SIREN, SIRET, RNA, etc.) pour faciliter les démarches en ligne, réduire les erreurs de saisie et automatiser les processus internes. Destiné aux agents publics et aux éditeurs de solutions logicielles pour l'administration, il offre un accès unique et standardisé aux données, évitant ainsi la multiplication des contacts techniques et des documentations dispersées.

Le projet installpodv2 est un dépôt de code source contenant des playbooks Ansible pour automatiser le déploiement et la configuration de serveurs Ubuntu. Il permet d'installer et de configurer une stack logicielle spécifique à un projet donné, en utilisant des fichiers d'inventaire et des fichiers de settings. Le projet gère également des certificats pour activer le HTTPS et dispose de commandes d'installation pour créer des utilisateurs et lancer les services nécessaires.

Ce projet permet d'évaluer les compétences des candidats sur la manipulation de l'offre CPiN à travers des exercices pratiques. Les participants doivent déployer des applications simples, gérer des secrets avec SOPS, et corriger des charts HELM. Les exercices se déroulent sur des environnements OVH et couvrent des cas d'usage usuels en infrastructure cloud.

Cet outil permet la gestion et l'organisation des certificats sur un serveur, offrant un chemin fixe vers la partie la plus récente qui vous intéresse : le certificat seul, le certificat avec le certificat de l'autorité intermédiaire, le certificat de l'autorité intermédiaire, ou la clé privée.

VsRocq est une extension pour Visual Studio Code et VSCodium qui fournit un support avancé pour le prouveur interactif Rocq (anciennement Coq). Il permet aux utilisateurs de vérifier des preuves mathématiques, de développer des logiciels certifiés et d'enseigner la logique formelle grâce à une intégration fluide avec l'éditeur. L'outil offre des fonctionnalités comme la vérification continue des preuves, une interface interactive pour explorer les objectifs de preuve et un panneau dédié aux requêtes.

Ce logiciel implémente un parseur de certificats numériques X.509, annoté avec des annotations ACSL pour la vérification avec Frama-C (version 18/Argon).