verifier

There are 1 repository under verifier topic.

hfiref0x / UACME
Defeating Windows User Account Control
bypass-uac c dll-hijack uac uac-bypass verifier
Language:C 6459
AfterShip / email-verifier
:white_check_mark: A Go library for email verification without sending any emails.
disposable email go smtp validation verification verifier
Language:Go 1257
smackers / smack
SMACK Software Verifier and Verification Toolchain
verification llvm verifier smt c verification-toolchain rust c-plus-plus
Language:C 432
baro77 / ZKbasicsCS
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
argument completeness nizk proof proof-of-knowledge prover simulator soundness verifier zero-knowledge zkp fiat-shamir
119
Consensys / bytecode-verifier
Compile Solidity source code and verify its bytecode matches the blockchain
ethereum smart-contracts solidity evm bytecode verifier
Language:JavaScript 88
ehn-dcc-development / ehn-sign-verify-python-trivial
Extremely minimal python implementation of the eHN-S protocol.
issuer verifier
Language:Python 75
serokell / xrefcheck
Check cross-references in repository documents
github link-checker markdown verifier
Language:Haskell 55
iosis-tech / swiftness
Cairo-VM STARK Verifier Rust implementation
rust stark verifier zk cairo-vm
Language:Rust 37
jparams / to-string-verifier
To String Verifier provides an easy and convenient way to test the toString method on your class.
java tostring junit test testing verifier tostringverifier tostringtester tester
Language:Java 33
jxy-s / vfdynf
Application Verifier Dynamic Fault Injection
application-verifier debugging-tool fuzzing verifier windows
Language:C 33
alegnani / verifactory
A verifier for Factorio blueprints, enabling one to automatically check logical properties
factorio rust verifier sat
Language:Rust 28
oceans404 / fullstack-polygon-id-vc-gated-dapp
Fullstack Polygon ID verification template for creating VC gated dapps
decentralized-identity did iden3 polygon polygon-id polygonid vc verifier verifiable-credential
Language:JavaScript 28
ChrisCarini / intellij-platform-plugin-verifier-action
GitHub Action for executing the intellij-plugin-verifier
jetbrains-plugin jetbrains-ecosystem jetbrains github-action github-actions github-actions-docker github-actions-java github-actions-jetbrains github-actions-intellij verifier intellij-plugin-verifier
Language:Shell 27
dipdup-io / stone-packaging
Various forms of distribution for the Starkware Stone prover and verifier
binaries docker packages prover starkware stone verifier stark starknet
Language:Shell 17
kinde-oss / kinde-node-express
Kinde SDK for ExpressJS apps that run on the server
express expressjs nodejs jwt verifier
Language:TypeScript 17
RAIRLab / lazyslate
An open source graphical proof construction assistant for the creation of Natural Deduction proofs.
gui javascript theorem-prover verifier html5-canvas interactive-theorem-proving
Language:TypeScript 16
gocanto / blinky
Driver based email verifier that helps you validate your emails inputs against different emails providers.
php email verifier
Language:PHP 12
marnix / zigmmverify
metamath zig ziglang proofs verifier proof-assistant proof-automation
Language:Zig 11
mono0926 / firebase-verifier
Firebase ID tokens verifier.
firebase verifier jwt token auth verification google swift swiftpm firebase-admin-sdk firebase-admin
Language:Swift 11
artisansdk / srp
A client and server-side implementation in PHP of the Secure Remote Password (SRP-6a) protocol.
srp srp-6a rfc-5054 rfc-2945 authentication password proof-of-password zero-knowledge php7 secure-remote-password verifier server client
Language:PHP 10
gospacedev / mail-checker
Domain Email Record Extractor
checker mail open-source verification verifier mail-checker mail-verification mail-verify
Language:Go 10
Rosefintech / Rosefintech-OrbitContract
Core smart contracts of Rosefintech
core ethereum smart-contracts verifier schedule
Language:Solidity 10
hypermedia-app / hydra-validator
A tool (also website) guarding a Hydra API against possible mistakes
hydra-api verifier
Language:TypeScript 9
longday1102 / OVM
⚡ OVM for Planning in Mathematical Reasoning
cot llm math mistral-7b reasoning verifier
Language:Python 9
ehn-dcc-development / hcert-app-kotlin
Verification App in Android/Kotlin
verifier android
Language:Kotlin 7
electrofocus / telegram-auth-verifier
Go package for Telegram Login credentials verification
go telegram telegram-authorization crypto verification credentials-verification verifier golang credentials authentication auth
Language:Go 7
verifier
naughtygopher / verifier
A minimal, customizable Go package for Email & Mobile number verification
golang go verification verifier otp otp-generator email-verification mobile-verification mobile-security 2factor email sms multifactor-authentication 2fa-security
Language:Go 7
0xcert / verifier-ui
The official 0xcert Verifier website
0xcert verifier verify xcert erc721 validate validation metadata protocol
Language:Vue 5
cyclone-github / magento_cracker
Magento v2 (argon2id) hash verifier (cracker)
argon argon2 argon2id cracker cyclone hash magento magento2 plum verifier
Language:Python 5
davidmytton / url-verifier
🔗 A Go library for URL validation and verification: does this URL actually work?
go golang golang-library url validation verification verifier
Language:Go 4
esbmc / vscode-esbmc
ESBMC Extension for Visual Studio Code
esbmc verifier vscode
Language:TypeScript 4
fenying / wp-passhash.js
A password hash verify tool for WordPress (4.7+) in Node.js.
hash nodejs password verifier wordpress
Language:TypeScript 4
transmute-industries / vc.transmute.world
Transmute's VC-HTTP-API
verifiable-credentials issuer verifier api vc holder
Language:TypeScript 4
Kirigod / ssl-verifier
Package that verifies SSL information from a URL.
http https ssl verifier checker ssl-certificates ssl-verifier ssl-checker web
Language:JavaScript 3
nvotes / juvenal
Universal web-based election verifier
election-record verifier web electionguard election universal online vote voting end-to-end e2evv e2e nvotes
Language:TypeScript 3
SourceScan / verifier-back
SourceScan NestJS back-end and API
nearprotocol smart-contracts verifier sourcescan
Language:TypeScript 3

verifier

hfiref0x / UACME

AfterShip / email-verifier

smackers / smack

baro77 / ZKbasicsCS

Consensys / bytecode-verifier

ehn-dcc-development / ehn-sign-verify-python-trivial

serokell / xrefcheck

iosis-tech / swiftness

jparams / to-string-verifier

jxy-s / vfdynf

alegnani / verifactory

oceans404 / fullstack-polygon-id-vc-gated-dapp

ChrisCarini / intellij-platform-plugin-verifier-action

dipdup-io / stone-packaging

kinde-oss / kinde-node-express

RAIRLab / lazyslate

gocanto / blinky

marnix / zigmmverify

mono0926 / firebase-verifier

artisansdk / srp

gospacedev / mail-checker

Rosefintech / Rosefintech-OrbitContract

hypermedia-app / hydra-validator

longday1102 / OVM

ehn-dcc-development / hcert-app-kotlin

electrofocus / telegram-auth-verifier

naughtygopher / verifier

0xcert / verifier-ui

cyclone-github / magento_cracker

davidmytton / url-verifier

esbmc / vscode-esbmc

fenying / wp-passhash.js

transmute-industries / vc.transmute.world

Kirigod / ssl-verifier

nvotes / juvenal

SourceScan / verifier-back