Catala is a programming language designed for socio-fiscal legislative literate programming. By annotating legislative text with code, one can create implementations of socio-fiscal mechanisms that are faithful to the law. The language mimics the logical structure of the law and incorporates default logic as a first-class feature, making it uniquely suited for literate legislative programming. The tutorial is a good starting point for getting acquainted with Catala, and the documentation provides detailed information on building, installation, and usage. There are also examples, a syntax cheat sheet, and a test suite available. Catala is a research project from Inria and is named after Pierre Catala, a pioneer in French legaltech.
https://github.com/CatalaLang/catala