Https://catala-lang.org/

Catala is a domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts.

1 Like

I can’t believe I forgot to post this earlier.

I wonder what @kemitchell might think of it.