The Axiom Foundation builds open, machine-readable encodings of statutes, regulations, and policy rules.

Atlas is the open platform for exploring encoded law. Browse the Archive of source documents, RAC encodings, and validation results across jurisdictions. Rules as Code is a domain-specific language for encoding rules with auditability, temporal versioning, and legal citations built in. One file captures statute text (as comments), parameters, and formulas. Parsed into a typed AST, compiled to IR, executed or compiled to native Rust.