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

Cairo-VM STARK Verifier Rust implementation

Application Verifier Dynamic Fault Injection

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

GitHub Action for executing the intellij-plugin-verifier

Fullstack Polygon ID verification template for creating VC gated dapps

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

Kinde SDK for ExpressJS apps that run on the server

An open source graphical proof construction assistant for the creation of Natural Deduction proofs.

Various forms of distribution for the Starkware Stone prover and verifier

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

Firebase ID tokens verifier.

Core smart contracts of Rosefintech