Catala est un langage de programmation dédié à la rédaction et à l'automatisation de règles juridiques et réglementaires. Il permet aux juristes, développeurs et experts métiers de formaliser des textes de loi en code exécutable, facilitant ainsi leur interprétation, leur vérification et leur application dans des systèmes informatiques. L'outil vise à réduire les ambiguïtés et les erreurs d'interprétation tout en accélérant les processus de conformité.

Le projet corhal-config est une bibliothèque permettant de gérer et de valider des règles métier, ainsi que de gérer des chemins de mappage. Il s'appuie sur des outils tels que Lodash et ESLint pour offrir des fonctionnalités avancées de manipulation de données et de vérification de code.

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.