executable-certificates

Here are 2 public repositories matching this topic...

inaciovasquez2020 / urf-verifier

URF Verifier — authoritative verifier for Unified Rigidity Framework certificates with deterministic checks, provenance validation, and CI-grade reproducibility.

reproducible-research provenance formal-verification verifier deterministic-builds cryptographic-signatures unified-rigidity-framework executable-certificates

Updated Jun 24, 2026
Python

SICKNESS18 / yang-mills-hs-gap-cert

Star

🔍 Verify and certify analytic bounds related to the Yang–Mills mass gap problem using reproducible computer-assisted scripts.

quantum-field-theory mathematical-physics hilbert-schmidt operator-theory yang-mills mass-gap spectral-gap executable-certificates ci-verified-monotonicity clay-problem

Updated Jun 25, 2026
Python

Improve this page

Add a description, image, and links to the executable-certificates 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 executable-certificates topic, visit your repo's landing page and select "manage topics."

Learn more

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly