package catala

  1. Overview
  2. Docs
Compiler and library for the literate programming language for tax code specification

Install

github.com Readme Apache-2.0 License Edit opam file

Authors

  1. D
    Denis Merigoux
  2. N
    Nicolas Chataing
  3. E
    Emile Rolley
  4. L
    Louis Gesbert
  5. A
    Aymeric Fromherz
  6. A
    Alain Delaët-Tixeuil

Maintainers

  1. C
    contact@catala-lang.org

Sources

0.7.0.tar.gz
md5=6dbbc2f50c23693f26ab6f048e78172f
sha512=a5701e14932d8a866e2aa3731f76df85ff2a68b4fa943fd510c535913573274d66eaec1ae6fcae17f20b475876048a9ab196ef6d8c23d4ea6b90b986aa0a6daa

Description

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

Published: 09 Aug 2022

Dependencies (20)

  1. zarith_stubs_js >= "v0.14.1"
  2. zarith >= "1.12"
  3. visitors >= "20200210"
  4. unionFind >= "20200320"
  5. ubase >= "0.05"
  6. sedlex >= "2.4"
  7. re >= "1.9.0"
  8. ppx_yojson_conv >= "v0.14.0" & < "v0.16.0"
  9. ocamlgraph >= "1.8.8"
  10. ocaml >= "4.13.0"
  11. menhirLib >= "20200211"
  12. menhir >= "20200211"
  13. js_of_ocaml-ppx >= "4.0.0"
  14. dune >= "2.8"
  15. cppo >= "1"
  16. cmdliner >= "1.1.0"
  17. calendar >= "2.04"
  18. bindlib >= "5.0.1"
  19. benchmark >= "1.6"
  20. ANSITerminal >= "0.8.2"

Dev Dependencies (2)

  1. odoc with-doc
  2. alcotest with-test & >= "1.5.0"

Used by

None

Conflicts (1)

  1. z3 < "4.8.11"