#

epistemic-security-tooling

Here are 2 public repositories matching this topic...

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 / ochrance

Neurosymbolic filesystem verification with Idris2 dependent types

open-source security dependent-types ai formal-verification zero-trust idris2 neurosymbolic-ai capability-based-security hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance filesystem-verification epistemic-security-tooling

Updated Oct 2, 2026
Idris

Add this topic to your repo

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