Defeating Windows User Account Control

:white_check_mark: A Go library for email verification without sending any emails.

[EMNLP'25] s3 - ⚡ Efficient & Effective Search Agent Training via RL for RAG (RLVR for Search with Minimal Data)

SMACK Software Verifier and Verification Toolchain

Zero-Knowledge Proofs "for (not too much :wink: ) 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 STONE STARK Verifier Rust implementation

Application Verifier Dynamic Fault Injection

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

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

Kinde SDK for ExpressJS apps that run on the server

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

Various forms of distribution for the Starkware Stone prover and verifier

eBPF Certificate Framework

Libraries and examples for integrating verifiable credentials (VC) and mobile driver's licenses (mDL) into mobile apps.

ISO/IEC 18013-5 Rust implementation

No description provided.

Domain Email Record Extractor

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

Firebase ID tokens verifier.

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

Core smart contracts of Rosefintech

⚡ OVM for Planning in Mathematical Reasoning

Verifiable Credentials and Decentralized Identity Features Offered by EveryCRED​

Go package for Telegram Login credentials verification

Verification App in Android/Kotlin