catala

Compiler and library for the literate programming language for tax code specification
Description

Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. See https://catala-lang.org for more information

Install
Published
08 Mar 2022
Authors
Maintainers
Sources
0.6.0.tar.gz
md5=b22e238d5d5c8452067109e9c7c0f427 sha512=ccc8c557c67c2f9d1bed4b957b2367f0f6afc0ef9b8b83237cf2a2912b3e8829b7e8af78ea7fe00b20ecf28b436ad04b591e5fff4f82fd08725d40a18c9924d0
Dependencies
odoc with-doc
alcotest with-test & >= "1.5.0"
cppo >= "1"
z3 >= "4.8.11"
camomile >= "1.0.2"
benchmark >= "1.6"
visitors >= "20200210"
calendar >= "2.04"
ocamlgraph >= "1.8.8"
zarith_stubs_js >= "v0.14.1"
zarith >= "1.12"
re >= "1.9.0"
cmdliner = "1.0.4"
bindlib >= "5.0.1"
unionFind >= "20200320"
menhirLib >= "20200211"
menhir >= "20200211"
sedlex >= "2.4"
ANSITerminal >= "0.8.2"
ocaml >= "4.11.0"
dune >= "2.8"
Reverse Dependencies