rules-as-code

French tax and benefit system for OpenFisca

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

A user-friendly web-based tool for Rules as Code.

define, compose, and evaluate your business rules in Elixir

A pure, declarative language for business rules.

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

This project is being continued by Legalese:

Deterministic guardrails for AI agents — the LLM proposes, your rules dispose. A sub-microsecond, JIT-compiled rule engine in Rust, with a visual Studio.

Explore legislation formulas and parameters.

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

Nomos — a programming language for legal reasoning. Typed rules with jurisdiction and validity dates, LLM-powered fact extraction, defeasible logic, proof trees that cite statutes and cases. Apache-2.0. Experimental.

An implementation of Defeasible Deontic Logic in Answer Set Programming

REST server + UI for Rulette

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

Modèle Publicodes pour le calcul des aides vélo en France

L4 - Rules as Code - Legal language syntax highlighting for Highlight.js

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

A little language for business rules — fees, taxes, discounts, eligibility, one step of a process. rulec proves there are no gaps, overlaps or dead rows, returns the exact input when there are, and only then generates dependency-free code in 12 languages. Built for AI agents.

188 DIFC/ADGM/SICC judgments coded under a two-grader-type protocol (39 LLM + 149 regex; provenance per entry). 12 Catala rule modules, 7 case traces, pre-registered with H1–H8 stop rules. External correlate ρ=+0.32 vs appeal status. Reproducible via Docker.