GitHub topics: verifier

Repositories

Chain-Fox/Chain-Fox

Chain-Fox: An all-in-one platform with automatic security detection ability for blockchains and smart contracts

Language: Rust - Size: 18.7 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 540 - Forks: 33

kinde-oss/kinde-node-express

Kinde SDK for ExpressJS apps that run on the server

Language: TypeScript - Size: 501 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 18 - Forks: 5

spruceid/sprucekit-mobile

Libraries and examples for integrating verifiable credentials (VC) and mobile driver's licenses (mDL) into mobile apps.

Language: Swift - Size: 12 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 5 - Forks: 0

iosis-tech/swiftness

Cairo-VM STONE STARK Verifier Rust implementation

Language: Rust - Size: 10.5 MB - Last synced at: 8 days ago - Pushed at: 3 months ago - Stars: 42 - Forks: 12

smackers/smack

SMACK Software Verifier and Verification Toolchain

Language: C - Size: 7.66 MB - Last synced at: 19 days ago - Pushed at: 20 days ago - Stars: 436 - Forks: 83

AfterShip/email-verifier

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

Language: Go - Size: 659 KB - Last synced at: 26 days ago - Pushed at: 29 days ago - Stars: 1,344 - Forks: 181

Imageomics/cautious-robot

Simple images from CSV downloader that runs and records checksums on downloaded image folder.

Language: Python - Size: 2.67 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 0

Imageomics/sum-buddy

Generate and save checksums for all (or certain) contents of given directory.

Language: Python - Size: 44.9 KB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 0

ChrisCarini/intellij-platform-plugin-verifier-action

GitHub Action for executing the intellij-plugin-verifier

Language: Shell - Size: 76.2 KB - Last synced at: 6 days ago - Pushed at: 10 months ago - Stars: 29 - Forks: 9

jxy-s/vfdynf

Application Verifier Dynamic Fault Injection

Language: C - Size: 1.02 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 37 - Forks: 15

ConsenSysDiligence/bytecode-verifier

Compile Solidity source code and verify its bytecode matches the blockchain

Language: JavaScript - Size: 18.9 MB - Last synced at: 18 days ago - Pushed at: 11 months ago - Stars: 88 - Forks: 28

distributed-lab/plonky2-verifier

Plonky2 Verifier.

Language: Rust - Size: 409 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

exasol/autogenerated-resource-verifier-java

Java library that allows you to define autogenerated resources in Java.

Language: Java - Size: 39.1 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 1

Muziris-Labs/fusion-smart-contracts

Contracts of Fusion - zk-Based Multi-chain Smart Contract Wallet

Language: Solidity - Size: 333 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

Muziris-Labs/fusion-circuits

Circuits of Fusion - zk-Based Multi-chain Smart Contract Wallet

Language: Solidity - Size: 147 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

serokell/xrefcheck

Check cross-references in repository documents

Language: Haskell - Size: 1.2 MB - Last synced at: 26 days ago - Pushed at: about 1 month ago - Stars: 56 - Forks: 6

RAIRLab/lazyslate

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

Language: TypeScript - Size: 175 KB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 17 - Forks: 0

Okm165/swiftness-solana

Cairo-VM Stark Verifier Solana deployment

Language: Rust - Size: 219 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1 - Forks: 1

dipdup-io/stone-packaging

Various forms of distribution for the Starkware Stone prover and verifier

Language: Shell - Size: 5.66 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 17 - Forks: 29

hypermedia-app/hydra-validator

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

Language: TypeScript - Size: 3.38 MB - Last synced at: 17 days ago - Pushed at: about 2 years ago - Stars: 10 - Forks: 2

alegnani/verifactory

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

Language: Rust - Size: 2.43 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 28 - Forks: 3

Rundiz/serializer

The Serializer classes provide functional with serialization such as PHP serialize, JSON.

Language: PHP - Size: 31.3 KB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

davidmytton/url-verifier

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

Language: Go - Size: 42 KB - Last synced at: 4 days ago - Pushed at: 5 months ago - Stars: 4 - Forks: 1

cyclone-github/magento_cracker

Magento v2 (argon2id) hash verifier (cracker)

Language: Python - Size: 23.4 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 5 - Forks: 0

baro77/ZKbasicsCS

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

Size: 854 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 119 - Forks: 7

hfiref0x/UACME

Defeating Windows User Account Control

Language: C - Size: 12.6 MB - Last synced at: 6 months ago - Pushed at: 10 months ago - Stars: 6,348 - Forks: 1,319

naughtygopher/verifier

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

Language: Go - Size: 72.3 KB - Last synced at: 5 days ago - Pushed at: 3 months ago - Stars: 7 - Forks: 2

artisansdk/srp

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

Language: PHP - Size: 23.4 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 3

SourceScan/verifier-back

SourceScan NestJS back-end and API

Language: TypeScript - Size: 368 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0

FusionFraxtalBuild/backend

Backend of Fusion - zk-Based Multi-chain Smart Contract Wallet

Language: JavaScript - Size: 5.99 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

jparams/to-string-verifier

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

Language: Java - Size: 224 KB - Last synced at: 7 months ago - Pushed at: over 2 years ago - Stars: 32 - Forks: 6

DHS-SVIP/requirements-for-decentralized-identity

DHS Technical Implementation Requirements for Decentralized Identity

Size: 6.71 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

iosis-tech/swiftness-web

Web Cairo-VM Stark Verifier

Language: TypeScript - Size: 39.6 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 1

gocanto/blinky 📦

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

Language: PHP - Size: 46.9 KB - Last synced at: 7 months ago - Pushed at: almost 5 years ago - Stars: 12 - Forks: 0

yaroslaff/grey-verifier

Verify email(s) using correct SMTP conversations (HELO / MAIL FROM /RCPT TO)

Language: Python - Size: 18.6 KB - Last synced at: 18 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

A university project with the focus on a simplified DNS infrastructure that contains a DNS recursor, some DNS servers, a launcher program that generates configurations for the DNS servers and a verifier that validates the configurations of the DNS servers.

Language: Python - Size: 6.84 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 1 - Forks: 0

minodisk/slack-verifier

Verify whether requests from Slack are authentic with a signed secrets using Web API

Language: JavaScript - Size: 40 KB - Last synced at: 7 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

EveryCRED/uni-resolver-driver-did-evrc

Verifiable Credentials and Decentralized Identity Features Offered by EveryCRED

Language: Python - Size: 29.3 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

ibLeDy/exercism-submissions

Completed exercisms on exercism.io

Language: Python - Size: 236 KB - Last synced at: 30 days ago - Pushed at: 30 days ago - Stars: 1 - Forks: 0

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

Fullstack Polygon ID verification template for creating VC gated dapps

Language: JavaScript - Size: 308 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 25 - Forks: 23

ehn-dcc-development/hcert-app-kotlin

Verification App in Android/Kotlin

Language: Kotlin - Size: 230 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 7 - Forks: 5

longday1102/OVM

⚡ OVM for Planning in Mathematical Reasoning

Language: Python - Size: 84 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 0

nkgreeg/s3-acess

Check access to S3 using credentials

Language: JavaScript - Size: 53.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

XoanOuteiro/HashCheck

Super simple file integrity verifier made in python

Language: Python - Size: 6.84 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

luigiberducci/fosco

Learner-Verifier Framework for formal synthesis of Control Barrier Functions (CBF).

Language: Python - Size: 11.4 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

0xcert/verifier-ui

The official 0xcert Verifier website

Language: Vue - Size: 1.02 MB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 6

esbmc/vscode-esbmc

ESBMC Extension for Visual Studio Code

Language: TypeScript - Size: 238 KB - Last synced at: 5 months ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 0

pektezol/PortalVerifierLeaderboard 📦

Portal Series leaderboard to count total verified runs from a verifier and ranking them for specified game.

Language: JavaScript - Size: 285 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Dxmonski/Discord-Phone-Verifier

Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

LiuJiewenTT/MCModDependencyCheck

Check if a Modpack miss something or versions mismatch without launching a game. (For forge for now)

Language: Python - Size: 17.6 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Hdoc1509/poker-hand-verifier

Verifier of poker hand

Language: TypeScript - Size: 291 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

electrofocus/telegram-auth-verifier

Go package for Telegram Login credentials verification

Language: Go - Size: 11.7 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 3

nvotes/juvenal

Universal web-based election verifier

Language: TypeScript - Size: 6.3 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 1

607011/angel-service

Webservice to execute AngelScript scripts

Language: C++ - Size: 54.7 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

statebox/solidity-zksnark-verifier

An Ethereum smart contract that verifies TBCS (Two-Input Boolean Circuit Satisfiability) SNARKs

Size: 25.4 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

KnexyWexy/Discord-Phone-verifier

Discord phone verifier🔥 WORKING JULY 2023 🔥 Discord phone verifier written in python3 Discord phone verify Discord phone verify Discord phone verify Discord phone verifier Discord phone verifier Discord phone verifier discord phone number generator discord phone number

Language: Python - Size: 140 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 227

gospacedev/mail-checker

Domain Email Record Extractor

Language: Go - Size: 92.8 KB - Last synced at: 11 months ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 0

jip/ltpa2

LTPA2 cookie encryptor/decryptor/verifier

Language: PHP - Size: 44.9 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

fenying/wp-passhash.js

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

Language: TypeScript - Size: 9.77 KB - Last synced at: 6 months ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0

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

Extremely minimal python implementation of the eHN-S protocol.

Language: Python - Size: 95.7 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 76 - Forks: 41

santhoshsivanva/Golang-Email-DNS-Verifier

Golang Email DNS Verifier is a simple command-line tool that can be used to verify email addresses and check the DNS records of the email domain. It is built using the Golang programming language and relies on third-party packages to perform email and DNS validation.

Language: Go - Size: 3.91 KB - Last synced at: 11 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0