Defeating Windows User Account Control

✅ A Go library for email verification without sending any emails.

SMACK Software Verifier and Verification Toolchain

Zero-Knowledge Proofs "for (not too much 😉 ) dummies"

Compile Solidity source code and verify its bytecode matches the blockchain

Extremely minimal python implementation of the eHN-S protocol.

Check cross-references in repository documents

Application Verifier Dynamic Fault Injection

To String Verifier provides an easy and convenient way to test the toString method on your class.

Fullstack Polygon ID verification template for creating VC gated dapps

GitHub Action for executing the intellij-plugin-verifier

A verifier for Factorio blueprints, enabling one to automatically check logical properties

Kinde SDK for ExpressJS apps that run on the server

Driver based email verifier that helps you validate your emails inputs against different emails providers.

Firebase ID tokens verifier.

Core smart contracts of Rosefintech

Domain Email Record Extractor

A client and server-side implementation in PHP of the Secure Remote Password (SRP-6a) protocol.

A tool (also website) guarding a Hydra API against possible mistakes