Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: verifier

Repositories

kinde-oss/kinde-node-express

Kinde SDK for ExpressJS apps that run on the server

Language: TypeScript - Size: 1.65 MB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 15 - Forks: 4

hfiref0x/UACME

Defeating Windows User Account Control

Language: C - Size: 12.6 MB - Last synced: 4 days ago - Pushed: about 1 month ago - Stars: 5,964 - Forks: 1,289

ChrisCarini/intellij-platform-plugin-verifier-action

GitHub Action for executing the intellij-plugin-verifier

Language: Shell - Size: 60.5 KB - Last synced: 5 days ago - Pushed: about 1 month ago - Stars: 26 - Forks: 9

ibLeDy/exercism-submissions

Completed exercisms on exercism.io

Language: Python - Size: 236 KB - Last synced: 17 days ago - Pushed: 17 days ago - Stars: 0 - Forks: 0

AfterShip/email-verifier

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

Language: Go - Size: 580 KB - Last synced: 19 days ago - Pushed: about 2 months ago - Stars: 1,080 - Forks: 136

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: 21 days ago - Pushed: almost 4 years ago - Stars: 12 - Forks: 0

mono0926/firebase-verifier

Firebase ID tokens verifier.

Language: Swift - Size: 33.2 KB - Last synced: 22 days ago - Pushed: over 6 years ago - Stars: 11 - Forks: 4

cyclone-github/magento_cracker

Magento v2 (argon2id) hash verifier (cracker)

Language: Python - Size: 19.5 KB - Last synced: 23 days ago - Pushed: 23 days ago - Stars: 3 - Forks: 0

serokell/xrefcheck

Check cross-references in repository documents

Language: Haskell - Size: 989 KB - Last synced: 27 days ago - Pushed: about 2 months ago - Stars: 50 - Forks: 3

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

Fullstack Polygon ID verification template for creating VC gated dapps

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

exasol/autogenerated-resource-verifier-java

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

Language: Java - Size: 38.1 KB - Last synced: about 1 month ago - Pushed: over 1 year ago - Stars: 1 - Forks: 1

Rundiz/serializer

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

Language: PHP - Size: 26.4 KB - Last synced: about 1 month ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

hypermedia-app/hydra-validator

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

Language: TypeScript - Size: 3.38 MB - Last synced: 23 days ago - Pushed: about 1 year ago - Stars: 9 - Forks: 2

Consensys/bytecode-verifier

Compile Solidity source code and verify its bytecode matches the blockchain

Language: JavaScript - Size: 18.9 MB - Last synced: 19 days ago - Pushed: about 1 year ago - Stars: 86 - Forks: 27

ehn-dcc-development/hcert-app-kotlin

Verification App in Android/Kotlin

Language: Kotlin - Size: 230 KB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 7 - Forks: 5

victor95pc/tweet-verifier

Extension to check if Tweet is real

Language: JavaScript - Size: 1.71 MB - Last synced: 2 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

SourceScan/verifier-back

SourceScan NestJS back-end and API

Language: TypeScript - Size: 337 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 3 - Forks: 0

smackers/smack

SMACK Software Verifier and Verification Toolchain

Language: C - Size: 7.62 MB - Last synced: about 2 months ago - Pushed: 8 months ago - Stars: 422 - Forks: 81

longday1102/OVM

⚡ OVM for Planning in Mathematical Reasoning

Language: Python - Size: 84 KB - Last synced: 25 days ago - Pushed: 3 months ago - Stars: 8 - Forks: 0

nkgreeg/s3-acess

Check access to S3 using credentials

Language: JavaScript - Size: 53.7 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

baro77/ZKbasicsCS

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

Size: 854 KB - Last synced: 3 months ago - Pushed: 8 months ago - Stars: 116 - Forks: 6

alegnani/verifactory

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

Language: Rust - Size: 2.32 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 16 - Forks: 1

XoanOuteiro/HashCheck

Super simple file integrity verifier made in python

Language: Python - Size: 6.84 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

RAIRLab/lazyslate

An open source graphical proof construction assistant for the creation of Natural Deduction proofs. Started as a Hack RPI 2022 Project

Language: TypeScript - Size: 175 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

jxy-s/vfdynf

Application Verifier Dynamic Fault Injection

Language: C - Size: 792 KB - Last synced: 22 days ago - Pushed: 2 months ago - Stars: 32 - Forks: 14

davidmytton/url-verifier

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

Language: Go - Size: 28.3 KB - Last synced: 4 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 0

luigiberducci/fosco

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

Language: Python - Size: 11.4 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 1

0xcert/verifier-ui

The official 0xcert Verifier website

Language: Vue - Size: 1.02 MB - Last synced: 30 days ago - Pushed: about 4 years ago - Stars: 5 - Forks: 6

esbmc/vscode-esbmc

ESBMC Extension for Visual Studio Code

Language: TypeScript - Size: 238 KB - Last synced: 25 days ago - Pushed: almost 2 years ago - Stars: 4 - 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: 6 months ago - Pushed: over 1 year ago - Stars: 30 - Forks: 6

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: 22 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

Dxmonski/Discord-Phone-Verifier

Size: 1.95 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

vcian/uni-resolver-driver-did-evrc

Verifiable Credentials and Decentralized Identity Features Offered by EveryCRED

Language: Python - Size: 29.3 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 1

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: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

Hdoc1509/poker-hand-verifier

Verifier of poker hand

Language: TypeScript - Size: 291 KB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

electrofocus/telegram-auth-verifier

Go package for Telegram Login credentials verification

Language: Go - Size: 11.7 KB - Last synced: 5 months ago - Pushed: 7 months ago - Stars: 7 - Forks: 3

nvotes/juvenal

Universal web-based election verifier

Language: TypeScript - Size: 6.3 MB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 3 - Forks: 1

607011/angel-service

Webservice to execute AngelScript scripts

Language: C++ - Size: 54.7 KB - Last synced: 4 months ago - Pushed: about 1 year 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: 9 months ago - Pushed: over 4 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: 10 months ago - Pushed: 10 months ago - Stars: 1 - Forks: 227

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: 27 days ago - Pushed: over 1 year ago - Stars: 9 - Forks: 3

dakalamin/pioverifier

A simple CLI tool to verify platformio.ini config files

Language: Python - Size: 7.81 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

gospacedev/mail-checker

Domain Email Record Extractor

Language: Go - Size: 92.8 KB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 10 - Forks: 0

jip/ltpa2

LTPA2 cookie encryptor/decryptor/verifier

Language: PHP - Size: 44.9 KB - Last synced: about 1 year ago - Pushed: about 1 year 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: 19 days ago - Pushed: over 6 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: about 2 months ago - Pushed: over 2 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: about 2 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0