Big idea: Computable formalization of legal rules. Use to enable benefits tech, expert systems, automatic or supported decisions, advanced jurimetrics, …
7.1 Rules as Code projects around the world · Rules-as-Code-League/RaC-Handbook Wiki · GitHub
ProLaLa keynote: Oracle Intelligent Advisor people suggest that toolchains for automating legislation eventually, under market pressure, become general purpose Business Rule Management Systems
Old Legalese take on modeling law: legalese.github.io/modeling.org
Jason Morris has thoughts on architecture for expert systems: https://inariksit.github.io/cclaw-zettelkasten/technology_stack.html
RegelSpraak: Used by Dutch tax administration
Catala
DataLex: AustLII's legal reasoning application platform
Ergo: Programming language designed for contracts, from the Accord Project
iza-institute-of-labor-economics/gettsim: The GErman Taxes and Transfers SIMulator
L4
OpenFisca: Tax and benefit rules as code
PlanX: Planning codes as flowcharts, from the WikiHouse people
s(CASP): Prolog constraint logic
WiseMessenger: Automated SMS conversations
Computable Contracts by Harry Surden :: SSRN
Tom Hvitved on contract formalization: hvitved12phd.pdf