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 example URL that has unfortunately link rotted but wayback has it https://web.archive.org/web/20240721045507/https://www.legif...

I am pretty sure there are several more but that's the one I can recall. It has been discussed here periodically https://news.ycombinator.com/from?site=github.com/catalalang (and https://news.ycombinator.com/from?site=catala-lang.org ) with the 2023 thread being the beefiest https://news.ycombinator.com/item?id=37546874