OCaml est un langage de programmation fonctionnelle qui offre des fonctionnalités avancées telles que la vérification de type statique, la gestion automatique de la mémoire et la possibilité de développer des applications et des logiciels performants et fiables.

Plateforme permettant aux administrations de gérer les demandes de particuliers et d'accéder aux données administratives certifiées.

Onyxia est une application web permettant de déployer et de personnaliser des services sur un cluster Kubernetes. Elle offre un environnement de travail dédié aux data scientists et permet d'allouer des ressources spécifiques à chaque service. Onyxia intègre également des services tiers tels que S3 et Vault pour faciliter le travail avec les données et les secrets.

OCaml-LSP est un serveur de langage pour OCaml qui implémente le protocole Language Server Protocol (LSP). Il offre des fonctionnalités telles que la coloration syntaxique, la complétion de code, l'analyse de code en temps réel et la résolution de types.

Lambdapi est un assistant de preuve basé sur le λΠ-calcul modulo réécriture, offrant des interfaces utilisateur pour Emacs et VSCode. Il permet de certifier des preuves pour différents systèmes de preuve, tels que TLAPS, Atelier B, Rodin, LISA, et Why3.

L'application 1000 premiers jours est un service proposé par les ministères de la Santé et des Solidarités et de la Famille, en collaboration avec des professionnels de santé et des parents. Elle vise à accompagner les parents pendant les 1000 premiers jours de leur enfant, de la grossesse à ses 2 ans, en leur fournissant des informations et des conseils adaptés à chaque étape. Elle comprend un outil de détection de la dépression post-partum et une cartographie pour trouver un accompagnement adapté et géolocalisé.

Plateforme numérique dédiée à la diffusion de la culture auprès du grand public, pass-culture-main permet la gestion d'offres culturelles, la réservation de ces offres, la gestion de profils utilisateurs et de paiements, ainsi que l'analyse de données d'utilisation.

Ce projet est une implémentation des solutions d'authentification FranceConnect, AgentConnect et de l'interopérabilité eIDAS pour les services publics. Il permet aux utilisateurs de s'authentifier sur différents services en ligne en utilisant leurs identifiants existants, et gère également les préférences utilisateur et l'interopérabilité avec les services publics.

Application mobile permettant de découvrir et réserver des offres culturelles, de gérer son compte utilisateur, de payer en ligne et de géolocaliser des offres culturelles.

Fonio est une plateforme de rédaction collaborative dédiée à la création de sites web statiques. Elle permet de structurer les arguments sous forme de sites web, de gérer des références bibliographiques et d'autres ressources (images, tables, vidéos, éléments interactifs), de personnaliser la mise en page et l'identité visuelle, et de définir des termes clés dans un glossaire interactif.