CatalaLang/catala
View on GitHub ↗ ★ 2,435 OCaml
Programming language for literate programming law specification
17 mentions on Hacker News by 16 people: 5 stories, 12 comments · first 2020-10-31 · latest 2025-12-08
20082026
-
▲ 2
Catala – DSL for deriving algorithms producing automated legal decisionsstory by amai · 2025-12-08 · 0 comments
-
funnily enough, the relation comes from a french jurist's last name from their repo: https://github.com/CatalaLang/catala > The language is named after Pierre Catala, a professor of law who pionneered the French legaltech by creating a…
comment by tough · 2025-12-07 · in Catala – Law to Code -
https://github.com/CatalaLang/catala#readme is the most famous one I know of, and https://github.com/CatalaLang/catleg is an integration with the French legal code. https://catleg.readthedocs.io/en/latest/cli_reference.html#c... gives an…
comment by mdaniel · 2024-12-18 · in MIT study explains why laws are written in an incomprehensible style -
Right? Or a domain specific language for law: https://github.com/CatalaLang/catala I get that dislodging docx is an impossible job, but since docx is a terrible format for anything, it needs to be done for all the reasons the author…
comment by corinroyal · 2024-11-14 · in On Building Git for Lawyers -
…and https://social.network.europa.eu/@EC_NGI/111499172838284606 but also https://openfisca.org and https://github.com/CatalaLang/catala or few others alike. That's still embrional but in FLOSS terms we have already more than enough, we…
comment by kkfx · 2024-10-27 · in Open Source on its own is no alternative to Big Tech -
This exists, but I haven't dug deep enough to know better: https://github.com/CatalaLang/catala .
comment by penguin_booze · 2024-01-02 · in A Canadian payroll dependency chart -
Programming and law can go together tho https://github.com/CatalaLang/catala
comment by tough · 2023-10-04 · in Hey, computer, make me a font -
…six emphasized words. But the Catala code seems to completely ignore this. Oops. I filed an issue: https://github.com/CatalaLang/catala/issues/514 In a real use case, I imagine that substantial refactoring of the parts that consume basis…
comment by amluto · 2023-09-18 · in CatalaLang/catala: Programming language for law specification -
…complex consequences which would be better analyzed automatically and measured empirically.) [0] https://github.com/CatalaLang/catala#concepts
comment by brutusborn · 2023-09-18 · in CatalaLang/catala: Programming language for law specification -
Not related to the Catalan language but to Pierre Catala: https://github.com/CatalaLang/catala#pierre-catala ( https://fr.wikipedia.org/wiki/Pierre_Catala )
comment by wageslave99 · 2023-09-18 · in CatalaLang/catala: Programming language for law specification -
▲ 453
CatalaLang/catala: Programming language for law specificationstory by gorenb · 2023-09-17 · 277 comments
-
▲ 2
Catala – Programming language for literate programming law specificationstory by animal_spirits · 2023-02-11 · 0 comments
-
▲ 4
Catala: Programming language for literate programming law specificationstory by tosh · 2022-04-22 · 0 comments
-
…have pondered this concept (albeit briefly, in my case). Found a code sample in the README: https://github.com/CatalaLang/catala/raw/master/doc/images/S... Unsolicited feedback: this should be the first or second thing visible on the home…
comment by jaytaylor · 2021-09-23 · in Catala Lang: DSL designed for deriving implementations from legislative texts -
See also - https://github.com/CatalaLang/catala
comment by wayneftw · 2021-05-06 · in Catala: A Programming Language for the Law -
From some of the same authors: https://github.com/CatalaLang/catala HN comments: https://news.ycombinator.com/item?id=24948342
comment by speps · 2020-11-25 · in A Modern Compiler for the French Tax Code -
▲ 98
Catala: a programming language for socio-fiscal legislative literate programmingstory by computerlab · 2020-10-31 · 37 comments