binary-verification

Here are 3 public repositories matching this topic...

geyutu6755 / shipsmoke

Test what users actually download. Verify that release artifacts (zip, tar.gz, binaries) really extract and run on the target OS - a free, cross-platform release quality gate for CI.

go cli devtools ci-cd smoke-testing release-engineering quality-gate github-actions binary-verification release-verification

Updated Nov 11, 2026
Go

Irvinwop / eDieSeL

Star

Lean 4 infrastructure for proving program behavior from machine code, with explicit memory, OS resource, and concurrency models.

assembly concurrency theorem-proving edsl operating-systems formal-verification memory-model llvm-ir translation-validation binary-verification c23 lean4 cpp26

Updated Oct 26, 2026
Lean

Z3r0DayZion-install / hypersnatch

Star

Offline media URL extractor with detached binary verification. Ships unsigned - verify with verify.ps1.

electron windows offline powershell software-verification reproducible-builds binary-verification supply-chain-security deterministic-builds offline-verification

Updated Jun 23, 2026
HTML

Add this topic to your repo

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

Learn more