CatalaLang/catala
Programming language for literate programming law specification observed · 2026-08-28
Health v2 · maintenance only
93/100
- Activity 99
- Release rhythm 80
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-02. Adoption (stars, forks) is never an input.
- gap_med: 56.5
- age_days: 2329
- days_rel: 58
- days_push: 7
- n_releases_24m: 5
Adoption not part of the score
2367 stars · 106 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
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
cli-tool · maturity active
programming-language compiler interpreter documentation programming-languages legal compilers developer-tools windows cross-platform literate-programming law-as-code domain-specific-language legislative-texts socio-fiscal ocaml programming-language linux macos
2 sources
- readme: https://github.com/CatalaLang/catala · fetched 2026-08-28 · 1fbceea8877f
- homepage: https://catala-lang.org · fetched 2026-08-29 · 5d5e272a3352
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| CatalaLang/catala | main | 93 |
For agents
markdown · JSON · MCP: product_card(name="CatalaLang/catala")
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem