Catala - Programming language

home edit

Catala is a programming language created in 2019 by Denis Merigoux.

#659on PLDB

5Years Old

Download source code:

git clone https://github.com/CatalaLang/catala

Homepage · Source Code

Programming language for literate programming law specification

Tags: programming language
Catala is developed on GitHub and has 1,951 stars
Early development of Catala happened in https://github.com/CatalaLang
Catala is written in OCaml, Markdown, Nix, JSON, Bourne shell, SVG, Tex, Python, TOML, XML, CSON, C, Make, Vim script, JavaScript, Rescript, R, YAML, Lisp, Dockerfile
catala-lang.org was registered in 2020

Example from the web:

scope QualifiedEmployeeDiscount :
 definition qualified_employee_discount
   under condition is_property consequence
 equals
   if employee_discount >$
     customer_price ×$ gross_profit_percentage
   then customer_price ×$ gross_profit_percentage
   else employee_discount