verifier

There are 1 repository under verifier topic.

hfiref0x / UACME
Defeating Windows User Account Control
uac-bypass uac dll-hijack bypass-uac verifier c
Language:C 5933
AfterShip / email-verifier
:white_check_mark: A Go library for email verification without sending any emails.
go smtp email verifier verification validation disposable
Language:Go 1083
smackers / smack
SMACK Software Verifier and Verification Toolchain
verification llvm verifier smt c verification-toolchain rust c-plus-plus
Language:C 424
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
118
Consensys / bytecode-verifier
Compile Solidity source code and verify its bytecode matches the blockchain
ethereum smart-contracts solidity evm bytecode verifier
Language:JavaScript 86
ehn-dcc-development / ehn-sign-verify-python-trivial
Extremely minimal python implementation of the eHN-S protocol.
issuer verifier
Language:Python 76
serokell / xrefcheck
Check cross-references in repository documents
markdown github verifier link-checker
Language:Haskell 50
jxy-s / vfdynf
Application Verifier Dynamic Fault Injection
application-verifier debugging-tool fuzzing verifier windows
Language:C 32
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 31
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 26
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 25
alegnani / verifactory
A verifier for Factorio blueprints, enabling one to automatically check logical properties
factorio rust verifier sat
Language:Rust 20
kinde-oss / kinde-node-express
Kinde SDK for ExpressJS apps that run on the server
express expressjs nodejs jwt verifier
Language:TypeScript 14
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
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
artisansdk / srp
A client and server-side implementation in PHP of the Secure Remote Password (SRP-6a) protocol.
authentication client password php7 proof-of-password rfc-2945 rfc-5054 secure-remote-password server srp srp-6a verifier zero-knowledge
Language:PHP 9
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 8
verifier
bnkamalesh / 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
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
0xcert / verifier-ui
The official 0xcert Verifier website
0xcert verifier verify xcert erc721 validate validation metadata protocol
Language:Vue 5
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.
wordpress password hash verifier nodejs
Language:TypeScript 4
transmute-industries / vc.transmute.world
Transmute's VC-HTTP-API
verifiable-credentials issuer verifier api vc holder
Language:TypeScript 4
cyclone-github / magento_cracker
Magento v2 (argon2id) hash verifier (cracker)
argon argon2 argon2id cracker cyclone hash magento magento2 plum verifier
Language:Python 3
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
ZKAW / VerifyMail
Python Email Verification
mail verify verify-email check checker verifier email
Language:Python 3
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 2
Jasvanth-Hub / Captcha-Verification
This is web page that has a Captcha verifier, that verifies the whether the captcha we enter is correct or not.
captcha-solver verifier
Language:CSS 2
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 2

verifier

hfiref0x / UACME

AfterShip / email-verifier

smackers / smack

baro77 / ZKbasicsCS

Consensys / bytecode-verifier

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

serokell / xrefcheck

jxy-s / vfdynf

jparams / to-string-verifier

ChrisCarini / intellij-platform-plugin-verifier-action

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

alegnani / verifactory

kinde-oss / kinde-node-express

gocanto / blinky

marnix / zigmmverify

mono0926 / firebase-verifier

gospacedev / mail-checker

Rosefintech / Rosefintech-OrbitContract

artisansdk / srp

hypermedia-app / hydra-validator

longday1102 / OVM

bnkamalesh / verifier

ehn-dcc-development / hcert-app-kotlin

electrofocus / telegram-auth-verifier

0xcert / verifier-ui

esbmc / vscode-esbmc

fenying / wp-passhash.js

transmute-industries / vc.transmute.world

cyclone-github / magento_cracker

Kirigod / ssl-verifier

nvotes / juvenal

SourceScan / verifier-back

ZKAW / VerifyMail

davidmytton / url-verifier

Jasvanth-Hub / Captcha-Verification

RAIRLab / lazyslate