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
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- 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"
js_of_ocaml-ppx
>= "3.8.0"
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