machine-readable-contracts

Here are 3 public repositories matching this topic...

hyperpolymath / deed-ecosystem

Coordination hub for the .deed format: conformance fixtures, membership manifest, and cross-repo drift enforcement — pins spec + governance from hyperpolymath/standards.

open-source standards specification deed bun k9 hyperpolymath contractiles epistemic-infrastructure epistemic-computing metadatastician descriptiles veridical-computing equivalence-aware-computing typed-provenance machine-readable-contracts attestation-format normative-grammar

Updated Sep 15, 2026
Just

hyperpolymath / k9-ecosystem

Sponsor

Star

Coordination hub for the K9 (Self-Validating Components) contractile format: conformance, membership, and cross-repo drift enforcement — pins spec + governance from hyperpolymath/standards.

open-source standards specification nickel deed attestation k9 machine-readable compliance-automation hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance machine-readable-contracts

Updated Sep 11, 2026
Just

hyperpolymath / deed-core

Sponsor

Star

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

open-source reproducible-research grammar standards specification deed research-software idris2 document-format hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance machine-readable-contracts attestation-format normative-grammar

Updated Sep 15, 2026
Just

Add this topic to your repo

To associate your repository with the machine-readable-contracts topic, visit your repo's landing page and select "manage topics."

Learn more