2024-09-05 15:03:29 +03:00
|
|
|
publiccodeYmlVersion: "0.2"
|
|
|
|
name: Catala
|
|
|
|
url: https://github.com/CatalaLang/catala
|
|
|
|
landingURL: https://catala-lang.org
|
|
|
|
creationDate: 2020-04-17
|
|
|
|
logo: https://github.com/CatalaLang.png
|
|
|
|
usedBy:
|
2024-11-04 20:08:08 +03:00
|
|
|
- Direction Générale des Finances Publiques (DGFiP)
|
2024-09-05 15:03:29 +03:00
|
|
|
fundedBy:
|
|
|
|
- name: Institut National de Recherche en Informatique et en Automatique (INRIA)
|
|
|
|
url: https://team.inria.fr/prosecco/
|
|
|
|
roadmap: "https://www.lemonde.fr/blog/binaire/2022/11/29/pour-un-bureau-de-transformation-du-droit-en-code/"
|
|
|
|
softwareType: "standalone/other"
|
|
|
|
description:
|
|
|
|
en:
|
|
|
|
shortDescription: "Domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts"
|
|
|
|
fr:
|
|
|
|
shortDescription: "Langage de programmation dédié à l'écriture d'implémentations correctes d'algorithmes dérivés de textes législatifs"
|
|
|
|
legal:
|
|
|
|
license: apache-2.0
|
|
|
|
authorsFile: https://github.com/CatalaLang/catala/blob/master/CITATION.cff
|
|
|
|
maintenance:
|
|
|
|
type: internal
|
|
|
|
contacts:
|
|
|
|
- name: "Denis Merigoux"
|
|
|
|
email: "denis.merigoux@inria.fr"
|
|
|
|
- name: "Louis Gesbert"
|
|
|
|
email: "louis.gesbert@inria.fr"
|