Https://catala-lang.org/

#1

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

1 Like
#2

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

I wonder what @kemitchell might think of it.