Related to the topic of US law in Git, in another HN discussion on the front page someone posted a Git repository with the US tax model as code, including some Lean code for verifying the consistency of everything. It seems very useful to automate tax filing:
https://github.com/emmilco/us-tax-model