#

security-posture-audit

Here are 5 public repositories matching this topic...

hyperpolymath / patch-bridge

CVE mitigation lifecycle — from disclosure to verified remediation with reachability analysis and formal soundness

rust open-source security cve vulnerability-management formal-verification zero-trust compliance-automation idris2 provenance-tracking hyperpolymath epistemic-infrastructure epistemic-security epistemic-computing veridical-computing equivalence-aware-computing typed-provenance security-posture-audit

Updated Oct 1, 2026
Rust

hyperpolymath / bitfuckit

Ada/SPARK repository auditor (health, compliance, security posture)

open-source security automation developer-tools ada spark-ada cli-tool zero-trust hyperpolymath epistemic-infrastructure epistemic-security epistemic-computing repository-auditor veridical-computing equivalence-aware-computing typed-provenance security-posture-audit

Updated Oct 2, 2026
Ada

hyperpolymath / ochrance-framework

Ochrance — protective security framework

open-source security dependent-types zero-trust idris2 hyperpolymath epistemic-infrastructure epistemic-security epistemic-computing veridical-computing equivalence-aware-computing typed-provenance security-posture-audit filesystem-verification epistemic-security-tooling

Updated Oct 1, 2026
Idris

hyperpolymath / FirmwareAudit.jl

Julia package: FirmwareAudit

open-source julia computational-science julia-package scientific-software hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance security-posture-audit firmware-audit

Updated Oct 1, 2026
Julia

hyperpolymath / 0patch-lsa-sentinel

Public alert + design: containing the 0patch <-> Windows LSA Protection (RunAsPPL) conflict so it can't fail silently

rust open-source security zero-trust dual-use hyperpolymath epistemic-infrastructure epistemic-security epistemic-computing veridical-computing equivalence-aware-computing typed-provenance security-posture-audit

Updated Oct 1, 2026
Rust

Add this topic to your repo

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