Catala - Programming language

home code edit

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

Source code:

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

#1097on PLDB

5Years Old

Programming language for literate programming law specification

Catala website
Catala is developed on GitHub and has 846 stars
Catala first developed in https://github.com/CatalaLang
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