verifier topic

List verifier repositories
trafficstars

vfdynf

32
Stars
14
Forks
Watchers

Application Verifier Dynamic Fault Injection

UACME

6.0k
Stars
1.3k
Forks
Watchers

Defeating Windows User Account Control

smack

425
Stars
82
Forks
Watchers

SMACK Software Verifier and Verification Toolchain

email-verifier

1.1k
Stars
141
Forks
Watchers

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

ZKbasicsCS

119
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