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.1.0.tar.gz
md5=ec7dda88c5f7f371d2a35874cdae2a10
sha512=7cedccfbe5330992d5730441d6ba7b97446237ff5bb4579498a167f2319ec03e8fae50b7f80e3abe96833744b61ffd10719ce0c3e4c144893a4b7adc77e91b56

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: 28 Jan 2026

Dependencies (23)

  1. conf-ninja post
  2. otoml >= "1.0"
  3. ninja_utils = "0.9.0"
  4. alcotest >= "1.5.0"
  5. crunch >= "3.0.0"
  6. json-data-encoding >= "1.0.1"
  7. hex >= "1.5.0"
  8. yojson >= "2.1.0"
  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 >= "1.1.0"
  16. bindlib >= "6.0"
  17. ocolor >= "1.3.0"
  18. menhirLib >= "20200211"
  19. menhir >= "20200211"
  20. cppo >= "1"
  21. dune >= "3.13"
  22. ocamlfind != "1.9.5"
  23. ocaml >= "4.14.0"

Dev Dependencies (8)

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

Used by (2)

  1. catala-format >= "1.1.0"
  2. catala-lsp >= "1.1.0"

Conflicts (1)

  1. z3 < "4.8.11"