attestation-format

Here are 3 public repositories matching this topic...

hyperpolymath / deed-validate-action

GitHub Action that validates .deed manifests against the normative DEED grammar. Formerly a2ml-validate-action.

open-source validation deed k9 policy-as-code github-actions compliance-automation supply-chain-security hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance provable-governance attestation-format

Updated Sep 21, 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 Oct 1, 2026
Just

hyperpolymath / deed-ecosystem

Sponsor

Star

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 Oct 1, 2026
Just

Add this topic to your repo

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

Learn more