JUSQ
A programming language for law as code.
JUSQ lets you encode laws, regulations, and legal rules as software that cites its sources, knows when it is in force, and can be proven correct for every possible input. It is an open-source, Apache-2.0 legal programming language for computational law and rules-as-code systems.