PHP package built for Laravel to easily handle a user email verification and val

PHP855other

5 months ago

email-validationemail-verificationlaravel

Self hosted identity verification layer with GraphQL.

Python60mit

last month

docker-containergraphqlidentity

A framework for smart contract verification in Coq

Coq114mit

2 months ago

blockchaincoqsmart-contracts

A free, secure and open source app for Android to manage your 2-step verificatio

Java9233gpl-3.0

6 days ago

2faandroidauthenticator

Intercept any risky patterns (default or defined by you) and prompt you a small

Rust819apache-2.0

11 months ago

captchadevopsdevops-tools

The Scenario Architect provides a lightweight graphical user interface that allo

Python34epl-2.0

5 months ago

safetyscenario

A dotnet CLI to generate type-safe GraphQL clients for F# and Fable with automat

F#158mit

last month

code-generationdotnet-clifable

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

Go1143mit

4 months ago

disposableemailgo

Research prototype tool for modular formal verification of C and Java programs

Rust366other

26 days ago

Eliminate the annoying work within ticketing systems (Jira, GitHub, Trello). All

Ruby71mit

12 months ago

annoyingautomationdocker-image

Decentralized Solidity contract source code verification service

TypeScript784mit

yesterday

contractsverification

Model-based design and verification for robotics.

C++3348other

7 hours ago

drakerobotics

Open Source License Key Generation and Verification Tool written in Go

Go786apache-2.0

9 months ago

clicli-appcli-application

GitHub Action for Gradle version verification

TypeScript7mit

15 days ago

code-qualitygithub-actiongradle

pure-python ECDSA signature/verification and ECDH key agreement

Python917other

2 months ago

cryptographydigital-signaturesecdh

Go package captcha implements generation and verification of image and audio CAP

Go1900mit

12 months ago

audio-captchascaptchago

Formal verification for OCaml

OCaml256mit

4 months ago

compilercoqocaml

Triton is a dynamic binary analysis library. Build your own program analysis too

C++3427apache-2.0

3 months ago

binary-analysisbinary-translationdeobfuscation

ObjectivePGP is an open-source library for iOS and macOS that provides developer

Objective-C669other

6 months ago

encryptionframeworkios

MVT (Mobile Verification Toolkit) helps with conducting forensics of mobile devi

Python10130other

3 months ago

androidforensicsforensics-tools

The Mobile Application Security Testing Guide (MASTG) is a comprehensive manual

Python11530cc-by-sa-4.0

3 months ago

androidandroid-applicationcompliancy-checklist

JVM version of Pact. Enables consumer driven contract testing, providing a mock

Kotlin1083apache-2.0

23 days ago

consumer-driven-contractscontract-testinghacktoberfest

Description Google Authenticator adds an extra layer of security to your onli

PHP1856mit

last month

2faagnosticgoogle2fa

Description Google Authenticator adds an extra layer of security to your onli

Shell35751cc-by-4.0

3 months ago

A curated list of awesome Coq libraries, plugins, tools, verification projects,

301cc0-1.0

4 months ago

awesomeawesome-listcoq

Description Your use of the Authy App is subject to these Authy App Terms (ww

Java426other

8 months ago

awsbastion-hostec2

Description Buy or sell Bitcoin anonymously, without ID verification. Cash or

Dart143apache-2.0

6 months ago

Description Your use of the Authy App is subject to these Authy App Terms (ww

Java3187other

6 months ago

bastion-hostjavajavascript

Description Over 1,000,000 Guys Worldwide!The Bro App (BRO) is the new 'socia

Swift5377mit

6 months ago

animationcardscocoapods

Description SimpleX Chat - a private & encrypted open-source messenger withou

Haskell7304agpl-3.0

4 hours ago

chatdouble-ratchete2ee

Objective-C16mit

9 years ago

A customizable verification code textField. Can be used for phone verification c

Objective-C65mit

2 years ago

❤️ Simple UI for pincode verification

JavaScript117mit

6 years ago

codekeypadnum

SPARK formal verification automated with Travis CI

Ada9gpl-3.0

5 years ago

Password hashing and verification library

Common Lisp30

4 years ago

[验证码识别-训练] This project is based on CNN/ResNet/DenseNet+GRU/LSTM+CTC/CrossEntrop

Python3032apache-2.0

2 years ago

captcha-recognitionocrtensorflow

All algorithm implementations like signature verification and protocol entries l

TypeScript9mit

2 years ago

cryptocryptographysignature

Go client library around the VerifID identity verification layer API.

Go2mit

3 years ago

gogolanggotest

Mutation analysis tool for Coq verification projects

Java28apache-2.0

4 years ago

coqmutation-analysisserapi

Vue2-Auth-Email Verification with Firebase🔥

JavaScript29

7 years ago

firebasefirebase-authhacktoberfest

Git extensions for m-of-n signing and verification on commits/tags.

Shell153mit

3 years ago

Phone verification service built using: AWS cdk, api gateway, dotnet, lambda, dy

C#7

2 years ago

api-gatewayawsaws-cdk

SLAyer is an automatic formal verification tool that uses separation logic to ve

OCaml326other

8 years ago

base on vue2.0+ verification code input component. (基于Vue2.0+的移动端验证码输入组件)

JavaScript67mit

2 years ago

codeinputvue

Chart signing and verification with GnuPG for Helm.

Shell25other

5 years ago

gnupggpghelm

:speaker: Deep Learning & 3D Convolutional Neural Networks for Speaker Verificat

Python782apache-2.0

5 years ago

3dconvolutional-neural-networksdeep-learning

goArgonPass is a Argon2 Password utility package for Go using the crypto library

Go18mit

4 years ago

argonargon2argon2i

papers about Face Detection; Face Alignment; Face Recognition && Face Identifica

4517

2 years ago

face-alignmentface-detectionface-generation

Description Start using the app?Activate the DigiD app first. Open the DigiD

463

last year

androidappawesome