Construkti est un outil qui applique la traduction de Kuroda aux preuves écrites en Dedukti. Il transforme des preuves classiques en preuves intuitionnistes en ajoutant des doubles négations aux formules et quantificateurs universels. Cela permet de valider des théorèmes mathématiques tout en garantissant leur cohérence dans un cadre logique plus restrictif.

Ce projet vise à transformer les pratiques des ministères sociaux en intégrant l'intelligence artificielle générative dans leurs processus métiers. Il accompagne les équipes (architectes, développeurs, designers, chefs de projet) dans l'adoption d'outils et de méthodes pour automatiser des tâches, améliorer la qualité des livrables et optimiser la collaboration. L'objectif est de créer une usine logicielle où chaque étape du cycle de développement combine un rail agentique (génération) et un rail déterministe (vérification), tout en formant les utilisateurs à ces nouvelles pratiques.

Ce projet est le site officiel du ministère chargé de la transformation et de la fonction publiques en France. Il centralise les informations sur les aides financières disponibles pour les services de l'État, les établissements publics et les collectivités territoriales. Il propose également des outils pour moderniser l'administration et accompagner la relance économique, notamment via des financements ciblés et des dispositifs de soutien.

Site officiel du ministère chargé de la transformation et de la modernisation de l'administration publique française. Il présente les missions, actions et réformes visant à améliorer l'efficacité, la proximité et la simplicité des services publics pour les citoyens et les agents de l'État. Il promeut également des initiatives comme FranceConnect et France services.

Service de transformation de données basé sur DFDL (Data Format Description Language) permettant de convertir des données selon des schémas prédéfinis et de valider des données selon ces mêmes schémas. Il inclut également la gestion de préférences pour les transformations de données.

Ce projet est une implémentation officielle d'une approche de détection de vulnérabilités XSS (Cross-Site Scripting) dans du code PHP, en utilisant l'apprentissage profond. Il fournit des fonctions de transformation de code PHP, telles que la génération de code PHP avec affichage HTML, le renommage automatique de variables PHP et la substitution de balises HTML.

Ce projet est une implémentation officielle d'une approche de détection de failles XSS (Cross-Site Scripting) dans le code source utilisant l'apprentissage automatique. Il permet de traiter et d'analyser du code source à grande échelle pour en détecter les vulnérabilités et améliorer la sécurité des applications web.