# CatalaLang/catala

Programming language for literate programming law specification

Repository: https://github.com/CatalaLang/catala
Canonical: https://ross.abutalabs.com/products/catala
Homepage: https://catala-lang.org
Language: OCaml
License: Apache-2.0
License Family: permissive
Topics: programming-language, legislative-texts
Last push: 2026-08-26T14:37:30+00:00

## Health v2 (maintenance only)
Score: 93/100 (v2, computed 2026-09-02T17:46:02.011165+00:00)
- activity 99, release rhythm 80, longevity 100
- inputs: {"age_days": 2329, "days_push": 7, "days_rel": 58, "gap_med": 56.5, "n_releases_24m": 5}
- flags: none
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 2367, forks 106 (observed 2026-08-28T04:06:41.584696+00:00)

## What it is
Catala is a domain-specific programming language for deriving faithful-by-construction algorithms from legislative texts via literate programming. Users annotate legal articles with code to build high-assurance implementations of socio-fiscal mechanisms.

## Use cases
- implement tax or benefits rules directly from legislative text
- verify that code faithfully matches the law
- annotate legal articles with executable code
- build auditable socio-fiscal computation engines
- prototype law-as-code systems for government agencies

## When to choose
- you need provable code-law faithfulness for legal computations
- you are implementing tax, welfare, or benefits legislation
- you want literate programming over legal source texts

## When to avoid
- you need a general-purpose programming language
- your domain is not legal or regulatory text
- you need a large ecosystem of libraries and tooling

## Facets
- artifact type: cli-tool
- maturity: active
- function: programming-language, compiler, interpreter, documentation
- domain: programming-languages, legal, compilers, developer-tools
- platform: windows, cross-platform
- tags: literate-programming, law-as-code, domain-specific-language, legislative-texts, socio-fiscal, ocaml, programming-language, linux, macos

## Member repositories
- CatalaLang/catala (main) score 93

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:06:41.584696+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T08:31:51.188492+00:00, confidence not recorded.
  - readme: https://github.com/CatalaLang/catala (fetched 2026-08-28T04:06:41.584696+00:00, sha 1fbceea8877f)
  - homepage: https://catala-lang.org (fetched 2026-08-29T10:16:19.709843+00:00, sha 5d5e272a3352)
- Data as of 2026-08-30T08:39:29.467469+00:00.