Projects in Awesome Lists tagged with executable-certificates
A curated list of projects in awesome lists tagged with executable-certificates .
https://github.com/inaciovasquez2020/yang-mills-hs-gap-cert
Executable Hilbert–Schmidt certificates establishing a Yang–Mills mass gap via operator coercivity transfer, with CI-enforced monotonicity and frozen artifacts.
ci-verified-monotonicity clay-problem executable-certificates hilbert-schmidt mass-gap mathematical-physics operator-theory quantum-field-theory spectral-gap yang-mills
Last synced: 04 Apr 2026
https://github.com/inaciovasquez2020/aiv-verifier-public
Public verifier for AIV executable certificates
aiv cryptographic-signatures executable-certificates formal-verification reproducible-research security supply-chain-security unified-rigidity-framework verifier
Last synced: 04 Apr 2026
https://github.com/inaciovasquez2020/capacity-locality-certification
Capacity–Locality Certification — executable certification framework validating systems against capacity bounds and locality constraints.
capacity-locality certification executable-certificates formal-methods information-theory locality reproducible-research unified-rigidity-framework verification
Last synced: 04 Apr 2026
https://github.com/inaciovasquez2020/urf-verifier
URF Verifier — authoritative verifier for Unified Rigidity Framework certificates with deterministic checks, provenance validation, and CI-grade reproducibility.
cryptographic-signatures deterministic-builds executable-certificates formal-verification provenance reproducible-research unified-rigidity-framework verifier
Last synced: 04 Apr 2026