conformance-vectors

Here are 4 public repositories matching this topic...

raheem-verisigil / verisigil-api

Runtime governance infrastructure for autonomous AI agents. VGS-001 to VGS-011. DOI: 10.5281/zenodo.20264923

post-quantum-cryptography formal-verification autonomous-agents z3-smt-solver tla-plus runtime-enforcement ai-governance eu-ai-act conformance-vectors governance-infrastructure

Updated Aug 13, 2026
Python

gHashTag / tt-lang-t27

Star

Open Apache-2.0 numeric-format bridge from t27 (GoldenFloat, arXiv:2606.05017) to tt-lang. GF16 conformance vectors + @t27_kernel decorator.

formal-verification numeric-format tenstorrent apache-2-0 tt-lang conformance-vectors goldenfloat

Updated Jun 8, 2026
Python

bitcoinuniverseio / sentry

Star

Understand what you are signing. SCIT/1 specification, reference implementation, and conformance vectors for Bitcoin transaction-safety organisms you own.

bitcoin protocol specification reference-implementation op-return psbt taproot conformance-vectors

Updated Aug 10, 2026
TypeScript

tersignhq / evidence-record-conformance

Star

Two-sided conformance vectors for the evidence-record layer: independence, completeness, existence, phase separation. stdlib-only verifier; live Bitcoin-anchored provenance.

independence opentimestamps jcs keccak256 rfc-8785 x402 bitcoin-anchoring conformance-vectors evidence-record

Updated Aug 11, 2026
Python

Improve this page

Add a description, image, and links to the conformance-vectors topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more