rules-as-code

French tax and benefit system for OpenFisca

OpenFisca core engine. See other repositories for countries-specific code & data.

Start modelling the tax and benefit system of your country in a few minutes.

bamboo firewall, firewall, iptables, firewall distributed, host base firewall

Source-available reference implementation for compiling institutionally warranted policy into machine-operational controls with preserved provenance, versioning, authority boundaries, and verifiable source-to-execution traceability.

GovSCH is an Open-Source Schema for Authoring Cybersecurity & AI Governance Documents

188 DIFC/ADGM/SICC judgments scored under a two-grader-type protocol (39 LLM + 149 regex; provenance per entry). 12 Catala rule modules, 7 case traces, analysis plan with H1-H8 stop rules. Reproducible via Docker.

AuthContract turns institutional rules into developer-usable, testable controls. It connects authoritative rule sources to canonical contracts, CI/CD merge gates, runtime action checks, and reconstructable evidence—so teams can prove not just what an agent did, but which rule authorized it, what version applied, and why execution was allowed.

한국 부동산 세금 엔진·MCP 서버 — 취득세·재산세·종부세·양도세·증여상속세, 결과마다 조문 근거. Korean real-estate tax engine and MCP server (AGPL-3.0)

French family-benefit law as executable canons — Arxo demonstration for Law as Code in Practice (Volume 1)

Open architecture, benchmark, and conformance framework for preserving warranted institutional meaning from source to machine consequence and independent examination.

Tax law as a compile target: an LLM compiles the Income Tax Act into a deterministic OpenFisca package — provenance-pinned to verbatim statute, gate-verified to the cent against CRA's published payroll formulas, ambiguity refused. No model at runtime. Canada federal withholding, 2026.

Open-source rules-as-code Shariah stock screening engine in Python. Encodes AAOIFI and DJIM screening rules as auditable, versioned files and returns one verdict per standard with a sourced evidence trail. Apache-2.0. MCP server and Islamic finance dataset planned.

RaC Conformance: evidence-first policy interchange contracts, conformance harnesses, comparative studies, and rules/process coupling.

UNIDROIT Principles of International Commercial Contracts 2016 as executable Arxo packages: 210 articles, 7 packages, 27 scenarios, texts pinned by content hash.

One regulation, formalized twice: Catala 1.2 and Arxo Law on the same 65 reference cases, 240 random cases and 20 mutations — the artifact of 'Law as Function, Law as Data'

The Charter of the United Nations (1945, as amended) as an executable model: every article a rule or a named boundary, worked cases, pinned English text. Not affiliated with the United Nations.

Reader materials for Constructions: The Craft of Formalization — pinned executable examples, checks and component licences.

A compiled rule pack for GoRules, with its receipts, tests and verifier

OpenFisca package encoding NSW water management rules as code — metering compliance, controlled activity approvals, harvestable rights