Inria est l'Institut national de recherche en sciences et technologies du numérique. Il mène des recherches avancées en intelligence artificielle, calcul haute performance, cybersécurité, robotique et sciences des données. L'institut travaille à l'innovation technologique pour répondre aux enjeux sociétaux et industriels, tout en promouvant l'accès ouvert aux résultats scientifiques et en accompagnant la formation des chercheurs et des professionnels du numérique.

L’Institut national de la statistique et des études économiques (Insee) est l’organisme public français chargé de collecter, analyser et diffuser des données sur l’économie et la société françaises. Il produit des statistiques officielles, réalise des recensements de population, et met à disposition des indicateurs économiques clés pour éclairer les politiques publiques et les décisions des acteurs socio-économiques.

L’Institut National de la Propriété Industrielle (INPI) est un établissement public français qui accompagne les entreprises et les innovateurs dans la protection et la valorisation de leurs créations. Il propose des services de dépôt de marques, brevets, dessins et modèles, ainsi que des outils pour sécuriser les innovations et faciliter les formalités administratives liées à la propriété intellectuelle.

Le Portail e-procédures de l'INPI permet aux entreprises et particuliers d'effectuer en ligne toutes leurs démarches administratives liées à la propriété intellectuelle et à la vie des entreprises. Il centralise les formalités de dépôt de marques, brevets, dessins et modèles, ainsi que les formalités de création, modification ou cessation d'activité. Le service propose également un suivi en temps réel des demandes et une signature électronique avancée pour sécuriser les transactions.

L'Agence Française de Développement (AFD) est un établissement public qui finance et accompagne des projets de développement durable dans les pays en développement et les territoires d'Outre-mer. Elle soutient des initiatives dans les domaines du climat, de la biodiversité, de la santé, de l'éducation et de l'emploi, en alignement avec les priorités de la France et les Objectifs de Développement Durable (ODD). L'AFD agit également comme un acteur clé des négociations internationales environnementales.

Le CNIS (Conseil national de l'information statistique) est un organisme public français chargé d'organiser la concertation entre les producteurs et les utilisateurs de la statistique publique. Il facilite le dialogue entre acteurs économiques, sociaux et institutionnels pour répondre aux besoins en données fiables et transparentes. Le CNIS émet des avis sur les enquêtes, publie des recommandations et organise des événements pour éclairer les politiques publiques et éclairer le débat démocratique.

Site officiel de l'Autorité des Normes Comptables (ANC) qui publie et diffuse les normes comptables françaises, les avis réglementaires, les projets de recherche et les actualités liées à la normalisation comptable. Il sert de plateforme d'information et de consultation pour les professionnels, les entreprises et les parties prenantes du secteur.

L'Autorité de la Statistique Publique est un organisme public indépendant chargé de veiller à l'indépendance professionnelle des statistiques publiques en France. Elle s'assure du respect des principes d'objectivité, d'impartialité et de qualité des données produites par les services statistiques. Elle publie des avis, des rapports annuels et des délibérés, et participe à la coordination de la statistique publique au niveau national et européen.

Coq est un système de gestion de preuves formelles. Il fournit un langage formel pour écrire des définitions mathématiques, des algorithmes exécutables et des théorèmes, ainsi qu'un environnement pour le développement semi-interactif de preuves formelles vérifiables par machine.

Catala est un langage de programmation dédié à la rédaction et à l'analyse de textes législatifs. Il permet de définir des règles complexes de manière claire et précise, et de générer automatiquement du code à partir de ces règles. Catala vise à améliorer la fiabilité et la transparence des systèmes législatifs en automatisant certaines tâches de vérification et de mise en œuvre.