Ce projet implémente l'algorithme de calcul des ordres d'appel pour Parcoursup, une plateforme d'admission dans l'enseignement supérieur en France. Il fournit une spécification formelle de l'algorithme et des preuves de sa correction en utilisant différents outils de vérification.

Ce projet permet de gérer et distribuer des notifications push à grande échelle pour des applications ou services. Il centralise les messages envoyés aux utilisateurs, garantissant une diffusion rapide et fiable des alertes, rappels ou informations importantes, tout en s'intégrant facilement avec des systèmes existants.

Ce projet est une preuve de concept permettant l'émission et la réception de notifications pour l'ESCO-Portail. Il utilise RabbitMQ et Elastic.io pour l'émission, le routage, le stockage et la distribution des notifications.

Notifications est un projet open-source qui vise à fournir une alternative à GC Notification et GOV.UK Notify. Il permet d'envoyer des notifications sous différentes formes (email, SMS, etc.) et de gérer des modèles de notifications. Le projet est structuré sous la forme d'un monorepo contenant l'API et l'interface d'administration.