Skip to content
#

attestation-format

Star

Here are 3 public repositories matching this topic...

hyperpolymath / deed-core

Sponsor
Star 1

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 21, 2026
  • Just

hyperpolymath / deed-ecosystem

Sponsor
Star 1

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 21, 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