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

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

L4 - Rules-as-code - is an open-source functional specification language for business rules, legal contracts, and legislation/regulation, with a CNL syntax for isomorphism.

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

Explore legislation formulas and parameters.

REST server + UI for Rulette

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

A language that means business.

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.

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

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

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

A simple debt contract written in L4.

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.

Starter template for the Rules as Code Hackathon - model pension lump-sum decisions with transparency and explainability

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

Finnish law encoded as executable logic with s(CASP) — Unemployment Security Act §6 entrepreneur definition with open-world reasoning and Finnish-language justification trees