The Deed programming language. Built for code that agents write and humans review.
Lists of tax lien certificate states and tax deed states.
Organization-wide standards and specifications
Full-featured repository designer for the RSR estate: composes spine × variant pack × features × profile into new repos and retrofits existing ones.
Coordination hub for the K9 (Self-Validating Components) contractile format: conformance, membership, and cross-repo drift enforcement — pins spec + governance from hyperpolymath/standards.
Generates compliant desktop launcher scripts from DEED specs.
Canonical RSR (Rhodium Standard Repository) template — governance, CI/CD, machine-readable metadata, ABI/FFI seam and formal-verification scaffolding that hyperpolymath projects are instantiated from.
GitHub Action that validates .deed manifests against the normative DEED grammar. Formerly a2ml-validate-action.
Normative constraint set-points for the DEED/K9 ecosystem (Mustfile, Intentfile, Adjustfile, Bustfile, Dustfile)
DEED typed core — the Idris2-verified reference implementation of the .deed document format (formerly A2ML). Normative grammar: hyperpolymath/standards → deed/spec/DEED-GRAMMAR-SPEC.adoc
Coordination hub for the .deed format: conformance fixtures, membership manifest, and cross-repo drift enforcement — pins spec + governance from hyperpolymath/standards.
Magistrate Title Services is an open-source platform modernizing real estate title, escrow, and closing through blockchain verification, AI-powered workflows, encrypted document management, secure payment verification, and compliance-focused automation.
Will (i/&) Trust ... fictional-system/dreamScaping
To associate your repository with the deed topic, visit your repo's landing page and select "manage topics."