Skip to main content

Envisioning is an emerging technology research institute and advisory.

LinkedInInstagramGitHub

2011 — 2026

research
  • Reports
  • Newsletter
  • Methodology
  • Origins
  • My Collection
services
  • Research Sessions
  • Signals Workspace
  • Bespoke Projects
  • Use Cases
  • Signal Scanfree
  • Readinessfree
impact
  • ANBIMAFuture of Brazilian Capital Markets
  • IEEECharting the Energy Transition
  • Horizon 2045Future of Human and Planetary Security
  • WKOTechnology Scanning for Austria
audiences
  • Innovation
  • Strategy
  • Consultants
  • Foresight
  • Associations
  • Governments
resources
  • Pricing
  • Partners
  • How We Work
  • Data Visualization
  • Multi-Model Method
  • FAQ
  • Security & Privacy
about
  • Manifesto
  • Community
  • Events
  • Support
  • Contact
  • Login
ResearchServicesPricingPartnersAbout
ResearchServicesPricingPartnersAbout
  1. Home
  2. Research
  3. Agora
  4. Computational Law & Rules as Code

Computational Law & Rules as Code

Legislation drafted as machine-executable logic.
Back to AgoraView interactive version

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.

TRL
5/9Validated
Impact
5/5
Investment
4/5
Category
software

Related Organizations

OpenFisca logo
OpenFisca

France · Open Source

95%

Open-source platform to turn tax and benefit legislation into code, used by the French government and others.

Developer
Stanford CodeX logo
Stanford CodeX

United States · Research Lab

95%

The Stanford Center for Legal Informatics, a primary hub for computational law research.

Researcher
Accord Project logo
Accord Project

United States · Consortium

90%

A non-profit organization developing open source standards and code for smart legal contracts.

Standards Body
Data61 (CSIRO) logo
Data61 (CSIRO)

Australia · Research Lab

90%

Australia's national science agency's data specialist arm, heavily involved in 'Regulation as a Platform' research.

Researcher
SMU Centre for Computational Law logo

SMU Centre for Computational Law

Singapore · University

90%

Research centre at Singapore Management University focused on developing a Domain Specific Language (DSL) for law.

Researcher
OECD (Observatory of Public Sector Innovation) logo
OECD (Observatory of Public Sector Innovation)

France · Government Agency

85%

The innovation arm of the OECD, which publishes extensive research and guidance on 'Rules as Code'.

Researcher
Xalgorithms Foundation logo
Xalgorithms Foundation

Canada · Nonprofit

85%

Non-profit developing free/libre open source software for the 'Internet of Rules'.

Researcher
Josef logo
Josef

Australia · Startup

80%

A no-code platform that enables legal professionals to build bots and automate legal documents.

Developer
Service Canada logo
Service Canada

Canada · Government Agency

80%

The Canadian government agency responsible for social services, actively experimenting with Rules as Code for benefits administration.

Deployer
Legatics logo
Legatics

United Kingdom · Company

75%

A transaction management platform that automates legal processes, moving toward computational verification of deal conditions.

Developer

Supporting Evidence

Evidence data is not available for this technology yet.

Connections

software
software
Algorithmic Legislation Auditors

AI analysis of proposed laws for bias and impact.

TRL
4/9
Impact
4/5
Investment
4/5
applications
applications
Open Legislation & Bill Tracking

Public, machine-readable legislative text with change history.

TRL
8/9
Impact
5/5
Investment
3/5
software
software
AI-Assisted Constitutional Design

Computational support for institutional architecture.

TRL
3/9
Impact
4/5
Investment
4/5

Book a research session

Bring this signal into a focused decision sprint with analyst-led framing and synthesis.
Research Sessions