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 (10)

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.0.0-beta.tar.gz
md5=c41cbc1fa003e167bbc0bb1cd7723ab3
sha512=1e07951e2d73040bc0bea89f04bcb50c3a533323a7c7d8bac9ee9aa6be5233f795a32857421d04f17e52a841057cdc78b33f79fa239a17dd12de97a738c81999

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: 23 Oct 2025

Dependencies (21)

  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. yojson >= "2.1.0"
  7. zarith >= "1.12"
  8. ubase >= "0.05"
  9. uucp >= "10"
  10. sedlex >= "3.2"
  11. re >= "1.11"
  12. ocamlgraph >= "1.8.8"
  13. cmdliner >= "1.1.0"
  14. bindlib >= "6.0"
  15. ocolor >= "1.3.0"
  16. menhirLib >= "20200211"
  17. menhir >= "20200211"
  18. cppo >= "1"
  19. dune >= "3.13"
  20. ocamlfind != "1.9.5"
  21. 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.26.0"
  8. odoc with-doc

Used by (2)

  1. catala-format >= "1.0.0~beta"
  2. catala-lsp

Conflicts (1)

  1. z3 < "4.8.11"