Projects in Awesome Lists tagged with deterministic-builds
A curated list of projects in awesome lists tagged with deterministic-builds .
https://github.com/inaciovasquez2020/scientific-infrastructure
Scientific Infrastructure — reproducible research tooling: deterministic builds, CI pipelines, provenance, manifests, and executable verification.
ci-cd deterministic-builds formal-methods provenance reproducible-research research-tooling scientific-infrastructure 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
https://github.com/mithro/msvcpp-normalize-pe
Normalize Windows PE files for byte-for-byte reproducible MSVC++ builds by patching timestamps, GUIDs, and debug metadata
build-tools coff debugging deterministic-builds msvc pe portable-executable python reproducible-builds windows
Last synced: 13 May 2026
