package catala

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

Install 

dune-project
 Dependency

github.com Edit opam file Versions (12)

Authors

  1. V
    Vincent Botbol
  2. N
    Nicolas Chataing
  3. A
    Alain Delaët-Tixeuil
  4. L
    Louis Gesbert
  5. A
    Aymeric Fromherz
  6. D
    Denis Merigoux
  7. R
    Raphaël Monat
  8. R
    Romain Primet
  9. E
    Emile Rolley

Maintainers

  1. C
    contact@catala-lang.org

Sources

1.2.0.tar.gz
md5=8d4db84b36a2e0c301724b41233837d8
sha512=28ce5b1ef5835bb0e0d520d4bc279c5c752055b77e6e8d000e41868a027dedb4ecf5301295e796815e6b1fb6476912ebce7cc65459a053cc4857510f65216a7e

Description

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

Tags

catala

Published: 04 Jun 2026

Dependencies (23)

  1. conf-ninja post
  2. json-data-encoding >= "1.0.1"
  3. otoml >= "1.0"
  4. ninja_utils = "1.0.0"
  5. alcotest >= "1.5.0"
  6. hex >= "1.5.0"
  7. crunch >= "3.0.0"
  8. yojson >= "2.1.0" & < "3"
  9. zarith >= "1.12"
  10. ubase >= "0.05"
  11. uucp >= "10"
  12. sedlex >= "3.2"
  13. re >= "1.11"
  14. ocamlgraph >= "1.8.8"
  15. cmdliner >= "2.0.0"
  16. bindlib >= "6.0"
  17. ocolor >= "1.3.0"
  18. menhirLib >= "20200211" & < "20260112"
  19. menhir >= "20200211" & < "20260112"
  20. cppo >= "1"
  21. dune >= "3.13"
  22. ocamlfind != "1.9.5"
  23. ocaml >= "4.14.0"

Dev Dependencies (7)

  1. conf-pandoc post & ?cataladevmode & cataladevmode
  2. conf-openjdk post & ?cataladevmode & cataladevmode
  3. conf-python-3-dev post & ?cataladevmode & cataladevmode
  4. conf-npm post & ?cataladevmode & cataladevmode
  5. obelisk ?cataladevmode & cataladevmode
  6. ocamlformat ?cataladevmode & cataladevmode & = "0.28.1"
  7. odoc with-doc

Used by (1)

  1. catala-lsp >= "1.2.0"

Conflicts

None