Modular shell configuration manager - declarative, idempotent, written in Ada for safety-critical reliability
Post-quantum secure identity vault for SSH keys, API tokens, PGP keys, and digital credentials. Like PGP, but for tokens. And reasonably good.
Ada TUI for managing rclone cloud mount configurations with rate limiting and SDP security
Rust-Ada-Zig TUI library: Zig FFI bridge between Rust core and Ada/SPARK TUI
CVE mitigation lifecycle — from disclosure to verified remediation with reachability analysis and formal soundness
Universal stress testing and logic-based bug signature detection
DNS record randomization tool for deprecated HINFO and LOC records. Built with Ada for maximum security and type safety.
A kernel-userland protocol enforcing information-theoretic bounds on AI adaptivity leakage, benchmark gaming, and capability spillover.
Ada/SPARK repository auditor (health, compliance, security posture)
Safe brute-force — bounded, rate-limited brute-force testing framework for authorised assessments
Formally verified shell implementing the MAA (Mutually Assured Accountability) Framework — every operation backed by machine-checkable proofs.
Irritation Surface Analyser (ISA) for LLMs — quantifies irritation across 10 dimensions with reproducible metrics, satellite intervention system, and Vext verifiable comms.
Ochrance — protective security framework
Munition - capability attenuation framework for sandboxed WASM execution in Elixir
Dictionary attack research tool — wordlist-based credential testing for authorised security assessments
Befunge-93 vault cracker — esoteric-language puzzle solver for CTF challenges
A powerful, type-safe directory tree export and navigation tool written in Ada 2022
Phantom Metal Taste — speculative execution side-channel research
HMAC-SHA256 + RS256 + base64url crypto primitives (Idris2 ABI + Zig FFI) — Hyperpolymath RSR Standard. Sister of stapeln (Ed25519+SHA-256); webhook & JWT primitives.
S.V.E. Meta-License v5.5 | GPL for Ideas & Ontologies. Enforced by Radical Symmetry, 0-Secrecy and the Fruits Test. [CC BY-NC-SA 4.0 + Symmetric Addendum] | «GPL4IdeasOnSteroids» | ____ARCHIVED____
To associate your repository with the epistemic-security topic, visit your repo's landing page and select "manage topics."