Authorization Bypass Detection Testing Framework

Userscripts validation, security registry, and decentralized verification (Haskell + IPFS)

Campaign for Cooler Coding and Programming - ethical foundation of RSR framework

Rootless/SDP deployment configurations for HKDF cryptographic services

Snapcreate

Universal Extension Format - One source, all platforms (browsers, IDEs, CMS). Formally verified compile-to-many pattern.

Formal, integrated metadata framework succeeding VoID, Dublin Core, and DCAT - compositional grammar with Idris2 proofs and verisimdb integration

Helm-based deployment of Twingate Connector into Kubernetes. Part of FlatRacoon Network Stack.

Phoenix LiveView app for citizen journalists and union branches with IPFS integration