verifier topic

List verifier repositories

vfdynf

32
Stars
14
Forks
Watchers

Application Verifier Dynamic Fault Injection

UACME

5.9k
Stars
1.3k
Forks
Watchers

Defeating Windows User Account Control

smack

424
Stars
81
Forks
Watchers

SMACK Software Verifier and Verification Toolchain

email-verifier

1.1k
Stars
136
Forks
Watchers

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

ZKbasicsCS

118
Stars
6
Forks
Watchers

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

bytecode-verifier

86
Stars
27
Forks
Watchers

Compile Solidity source code and verify its bytecode matches the blockchain

ehn-sign-verify-python-trivial

76
Stars
41
Forks
Watchers

Extremely minimal python implementation of the eHN-S protocol.

to-string-verifier

31
Stars
6
Forks
Watchers

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

xrefcheck

50
Stars
3
Forks
Watchers

Check cross-references in repository documents