#

filesystem-verification

Here are 3 public repositories matching this topic...

hyperpolymath / dotmatrix-fileprinter

Neurosymbolic filesystem manipulation suite

javascript open-source automated-reasoning file-manipulation symbolic-reasoning hybrid-ai neurosymbolic-ai hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance filesystem-verification

Updated Sep 23, 2026
JavaScript

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 Sep 25, 2026
Idris

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 Sep 29, 2026
Idris

Add this topic to your repo

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