Computational Law and Rules as Code represent a fundamental reimagining of how legislation is created, interpreted, and implemented. Rather than relying solely on traditional legal prose—which is inherently subject to interpretation and ambiguity—this approach involves drafting laws and regulations simultaneously in both natural language and machine-executable code. Specialized programming languages such as Catala and Blawx have been developed specifically for this purpose, designed to capture legal logic in a format that both lawyers and computers can process. The technical foundation rests on formal logic systems that can represent conditional statements, temporal constraints, and complex eligibility criteria in a mathematically precise manner. By encoding legal rules as computational logic, legislators can ensure that the intended meaning of a law is unambiguous and that its application can be verified through automated testing before the legislation is even enacted.
The traditional legislative process suffers from several critical challenges that computational law directly addresses. Ambiguous legal language often leads to costly litigation, inconsistent enforcement, and uncertainty for both citizens and businesses attempting to comply with regulations. When laws are written only in natural language, determining eligibility for benefits, calculating tax obligations, or understanding regulatory requirements often requires expensive legal consultation or complex manual interpretation. Rules as Code transforms this landscape by enabling automated compliance checking, allowing government agencies to test proposed regulations against thousands of scenarios before implementation. This capability helps identify unintended consequences, edge cases, and contradictions that might otherwise go unnoticed until after a law takes effect. For businesses, particularly small enterprises without dedicated legal departments, machine-readable regulations mean they can instantly verify compliance without navigating dense legal texts. Citizens benefit from the ability to calculate their eligibility for government services, tax liabilities, or regulatory obligations through simple digital interfaces that execute the actual legal code.
Several jurisdictions have begun experimenting with Rules as Code initiatives, with New Zealand and France emerging as notable early adopters. Research programs in these countries have demonstrated that encoding legislation computationally can reduce implementation time for new regulations and improve consistency across government agencies. The approach has shown particular promise in areas such as tax law, social benefits administration, and building code compliance, where complex eligibility criteria and calculations are common. As governments worldwide pursue digital transformation agendas, computational law represents a natural evolution toward more transparent, accessible, and efficient governance. The technology aligns with broader movements toward open government data and algorithmic transparency, potentially enabling citizens to understand not just what the law says, but precisely how it operates in their specific circumstances. Looking forward, as artificial intelligence and automated decision-making become more prevalent in public administration, having laws expressed in machine-executable form may become essential infrastructure for democratic accountability, ensuring that automated government systems operate according to rules that can be audited, tested, and understood by both technical experts and legal professionals.
Open-source platform to turn tax and benefit legislation into code, used by the French government and others.
The Stanford Center for Legal Informatics, a primary hub for computational law research.
A non-profit organization developing open source standards and code for smart legal contracts.
Australia's national science agency's data specialist arm, heavily involved in 'Regulation as a Platform' research.

SMU Centre for Computational Law
Singapore · University
Research centre at Singapore Management University focused on developing a Domain Specific Language (DSL) for law.
The innovation arm of the OECD, which publishes extensive research and guidance on 'Rules as Code'.
Non-profit developing free/libre open source software for the 'Internet of Rules'.
A no-code platform that enables legal professionals to build bots and automate legal documents.
The Canadian government agency responsible for social services, actively experimenting with Rules as Code for benefits administration.
A transaction management platform that automates legal processes, moving toward computational verification of deal conditions.