verifier

There are 1 repository under verifier topic.

• hfiref0x / UACME

  Defeating Windows User Account Control

  bypass-uaccdll-hijackuacuac-bypassverifier
  Language:C 6533

• AfterShip / email-verifier

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

  disposableemailgosmtpvalidationverificationverifier
  Language:Go 1291

• smackers / smack

  SMACK Software Verifier and Verification Toolchain

  cc-plus-plusllvmrustsmtverificationverification-toolchainverifier
  Language:C 432

• baro77 / ZKbasicsCS

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

  argumentcompletenessnizkproofproof-of-knowledgeproversimulatorsoundnessverifierzero-knowledgezkpfiat-shamir
  119

• Consensys / bytecode-verifier

  Compile Solidity source code and verify its bytecode matches the blockchain

  ethereumsmart-contractssolidityevmbytecodeverifier
  Language:JavaScript 88

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

  Extremely minimal python implementation of the eHN-S protocol.

  issuerverifier
  Language:Python 74

• serokell / xrefcheck

  Check cross-references in repository documents

  githublink-checkermarkdownverifier
  Language:Haskell 56

• iosis-tech / swiftness

  Cairo-VM STONE STARK Verifier Rust implementation

  ruststarkverifierzkcairowasmzkvm
  Language:Rust 40

• jxy-s / vfdynf

  Application Verifier Dynamic Fault Injection

  application-verifierdebugging-toolfuzzingverifierwindows
  Language:C 34

• jparams / to-string-verifier

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

  javatostringjunittesttestingverifiertostringverifiertostringtestertester
  Language:Java 33

• alegnani / verifactory

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

  factoriorustverifiersat
  Language:Rust 31

• ChrisCarini / intellij-platform-plugin-verifier-action

  GitHub Action for executing the intellij-plugin-verifier

  jetbrains-pluginjetbrains-ecosystemjetbrainsgithub-actiongithub-actionsgithub-actions-dockergithub-actions-javagithub-actions-jetbrainsgithub-actions-intellijverifierintellij-plugin-verifier
  Language:Shell 29

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

  Fullstack Polygon ID verification template for creating VC gated dapps

  decentralized-identitydididen3polygonpolygon-idpolygonidvcverifierverifiable-credential
  Language:JavaScript 29

• kinde-oss / kinde-node-express

  Kinde SDK for ExpressJS apps that run on the server

  expressexpressjsjwtnodejsverifier
  Language:TypeScript 18

• dipdup-io / stone-packaging

  Various forms of distribution for the Starkware Stone prover and verifier

  binariesdockerpackagesproverstarkwarestoneverifierstarkstarknet
  Language:Shell 17

• RAIRLab / lazyslate

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

  guihtml5-canvasinteractive-theorem-provingjavascripttheorem-proververifier
  Language:TypeScript 16

• gocanto / blinky

  Driver based email verifier that helps you validate your emails inputs against different emails providers.

  phpemailverifier
  Language:PHP 12

• marnix / zigmmverify

  metamathzigziglangproofsverifierproof-assistantproof-automation
  Language:Zig 11

• mono0926 / firebase-verifier

  Firebase ID tokens verifier.

  firebaseverifierjwttokenauthverificationgoogleswiftswiftpmfirebase-admin-sdkfirebase-admin
  Language:Swift 11

• artisansdk / srp

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

  srpsrp-6arfc-5054rfc-2945authenticationpasswordproof-of-passwordzero-knowledgephp7secure-remote-passwordverifierserverclient
  Language:PHP 10

• gospacedev / mail-checker

  Domain Email Record Extractor

  checkermailopen-sourceverificationverifiermail-checkermail-verificationmail-verify
  Language:Go 10

• hypermedia-app / hydra-validator

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

  hydra-apiverifier
  Language:TypeScript 10

• longday1102 / OVM

  ⚡ OVM for Planning in Mathematical Reasoning

  cotllmmathmistral-7breasoningverifier
  Language:Python 10

• Rosefintech / Rosefintech-OrbitContract

  Core smart contracts of Rosefintech

  coreethereumsmart-contractsverifierschedule
  Language:Solidity 10

• electrofocus / telegram-auth-verifier

  Go package for Telegram Login credentials verification

  gotelegramtelegram-authorizationcryptoverificationcredentials-verificationverifiergolangcredentialsauthenticationauth
  Language:Go 8

• ehn-dcc-development / hcert-app-kotlin

  Verification App in Android/Kotlin

  verifierandroid
  Language:Kotlin 7
• verifier

  naughtygopher / verifier

  A minimal, customizable Go package for Email & Mobile number verification

  golanggoverificationverifierotpotp-generatoremail-verificationmobile-verificationmobile-security2factoremailsmsmultifactor-authentication2fa-security
  Language:Go 7

• 0xcert / verifier-ui

  The official 0xcert Verifier website

  0xcertverifierverifyxcerterc721validatevalidationmetadataprotocol
  Language:Vue 5

• cyclone-github / magento_cracker

  Magento v2 (argon2id) hash verifier (cracker)

  argonargon2argon2idcrackercyclonehashmagentomagento2plumverifier
  Language:Python 5

• davidmytton / url-verifier

  🔗 A Go library for URL validation and verification: does this URL actually work?

  gogolanggolang-libraryurlvalidationverificationverifier
  Language:Go 4

• esbmc / vscode-esbmc

  ESBMC Extension for Visual Studio Code

  esbmcverifiervscode
  Language:TypeScript 4

• fenying / wp-passhash.js

  A password hash verify tool for WordPress (4.7+) in Node.js.

  wordpresspasswordhashverifiernodejs
  Language:TypeScript 4

• transmute-industries / vc.transmute.world

  Transmute's VC-HTTP-API

  verifiable-credentialsissuerverifierapivcholder
  Language:TypeScript 4

• Kirigod / ssl-verifier

  Package that verifies SSL information from a URL.

  httphttpssslverifiercheckerssl-certificatesssl-verifierssl-checkerweb
  Language:JavaScript 3

• nvotes / juvenal

  Universal web-based election verifier

  election-recordverifierwebelectionguardelectionuniversalonlinevotevotingend-to-ende2evve2envotes
  Language:TypeScript 3

• SourceScan / verifier-back

  SourceScan NestJS back-end and API

  nearprotocolsmart-contractsverifiersourcescan
  Language:TypeScript 3