Skip to content
#

provable-governance

Star

Here are 5 public repositories matching this topic...

Language: All
Filter by language
All 5 Just 4 Nickel 1

hyperpolymath / action-trust-layers

Sponsor
Star 3

Layered, DANE/TLSA-inspired trust model for CI supply-chain (GitHub Actions) pinning: trust-anchor + provenance/key + leaf-exact layers, vs flat recursive SHA-pinning.

rust open-source dane policy-as-code github-actions compliance-automation supply-chain-security hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance provable-governance explicit-trust
  • Updated Sep 21, 2026
  • Just

hyperpolymath / panoply

Sponsor
Star 1

An envelope-first language discipline: every safety claim explicit, scoped, inspectable, and mechanically accountable.

open-source dependent-types zig ffi standards specification language-design formal-methods guix policy-as-code machine-readable compliance-automation idris2 hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance provable-governance
  • Updated Sep 27, 2026
  • Just

Add this topic to your repo

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

Learn more