❤️ Simple UI for pincode verification

JavaScript116mit

5 years ago

codekeypadnum

SPARK formal verification automated with Travis CI

Ada9gpl-3.0

5 years ago

PHP package built for Laravel 5.* & 6.* & 7.* & 8.* & 9.* & 10.* to easily handl

PHP827other

last year

email-validationemail-verificationlaravel

Objective-C16mit

8 years ago

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

Objective-C65mit

last year

Tool for suggesting lemma names in Coq verification projects

Python15mit

2 years ago

coqdeep-learningmachine-learning

Verified boot hack for T480

Shell0gpl-3.0

last year

Self hosted identity verification layer with GraphQL.

Python52mit

3 months ago

docker-containergraphqlidentity

Integrity Check - Vinari Software is a Linux application written in Vala and GTK

Vala1bsd-3-clause

2 years ago

checksumgnomegtk

A framework for smart contract verification in Coq

Coq98mit

6 months ago

blockchaincoqsmart-contracts

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

Java8009gpl-3.0

5 days ago

2faandroidauthenticator

Collection of ssl verification functions for Erlang

Erlang88mit

last year

certificatecertificateserlang

Password hashing and verification library

Common Lisp27

4 years ago

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

Rust725apache-2.0

5 months ago

captchadevopsdevops-tools

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

Python2876apache-2.0

2 years ago

captcha-recognitionocrtensorflow

Compilation and Verification of Data-Centric Languages

Coq53apache-2.0

10 months ago

compilercoq-proof-assistantfunctional-programming

The Scenario Architect provides a lightweight graphical user interface that allo

Python30epl-2.0

2 years ago

safetyscenario

All algorithm implementations like signature verification and protocol entries l

TypeScript9mit

last year

cryptocryptographysignature

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

F#154mit

8 months ago

code-generationdotnet-clifable

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

Go1027mit

3 months ago

disposableemailgo

Go client library around the VerifID identity verification layer API.

Go2mit

3 years ago

gogolanggotest

A framework for distributed systems verification, with fault injection

Clojure6320

7 months ago

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

Rust325other

2 months ago

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

Ruby68mit

5 months ago

annoyingautomationdocker-image

Mutation analysis tool for Coq verification projects

Java25apache-2.0

4 years ago

coqmutation-analysisserapi

Model-based design and verification for robotics.

C++3081other

5 hours ago

drakerobotics

Vue2-Auth-Email Verification with Firebase🔥

JavaScript29

7 years ago

firebasefirebase-authhacktoberfest

Fast and efficient ed25519 signing and verification in Rust.

Rust653bsd-3-clause

8 months ago

cryptographycurve25519ed25519

Open Source License Key Generation and Verification Tool written in Go

Go767apache-2.0

2 months ago

clicli-appcli-application

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

Shell151mit

2 years ago

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

C#7

last year

api-gatewayawsaws-cdk

RSA public/private key encryption, private key signing and public key verificati

Swift127apache-2.0

last year

linuxmacosrsa-cryptography

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

OCaml321other

8 years ago

Patch-level verification for Bundler

Ruby2629gpl-3.0

3 months ago

bundler-auditdependency-checkerpatch-management

Chart signing and verification with GnuPG for Helm.

Shell24other

4 years ago

gnupggpghelm

pure-python ECDSA signature/verification and ECDH key agreement

Python873other

4 months ago

cryptographydigital-signaturesecdh

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

JavaScript67mit

last year

codeinputvue

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

Go1839mit

5 months ago

audio-captchascaptchago

Formal verification for OCaml

OCaml236mit

3 months ago

compilercoqocaml

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

Objective-C654other

5 months ago

encryptionframeworkios

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

Python772apache-2.0

4 years ago

3dconvolutional-neural-networksdeep-learning

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

Go16mit

3 years ago

argonargon2argon2i

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

Python9789other

8 days ago

androidforensicsforensics-tools

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

Python11267cc-by-sa-4.0

6 days ago

androidandroid-applicationcompliancy-checklist

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

Kotlin1031apache-2.0

5 months ago

consumer-driven-contractscontract-testinghacktoberfest

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

PHP1728mit

last year

2faagnosticgoogle2fa

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

280cc0-1.0

2 months ago

awesomeawesome-listcoq

:fire::fire::fire: 强大的动态表单生成器|form-create is a form generation component that ca

JavaScript5291mit

4 months ago

ant-design-vuearco-designdynamic-form

Simple Bitcoin Wallet (aka SBW) is an open-source, non-custodial, autonomous wal

Java212apache-2.0

2 years ago

bitcoinlightning-networkwallet

Description Authy brings the future of two-factor authentication to the conve

Java424other

5 months ago

awsbastion-hostec2

Description Authy brings the future of two-factor authentication to the conve

Java3097other

last month

bastion-hostjavajavascript

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

4209

last year

face-alignmentface-detectionface-generation

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

Swift5339mit

4 months ago

animationcardscocoapods

SPARK formal verification automated with Travis CI

Ada9gpl-3.0

5 years ago

PHP package built for Laravel 5.* & 6.* & 7.* & 8.* & 9.* & 10.* to easily handl

PHP827other

last year

email-validationemail-verificationlaravel

Objective-C16mit

8 years ago

Tool for suggesting lemma names in Coq verification projects

Python15mit

2 years ago

coqdeep-learningmachine-learning

Verified boot hack for T480

Shell0gpl-3.0

last year

Self hosted identity verification layer with GraphQL.

Python52mit

3 months ago

docker-containergraphqlidentity

Integrity Check - Vinari Software is a Linux application written in Vala and GTK

Vala1bsd-3-clause

2 years ago

checksumgnomegtk

A framework for smart contract verification in Coq

Coq98mit

6 months ago

blockchaincoqsmart-contracts

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

Java8009gpl-3.0

5 days ago

2faandroidauthenticator

Collection of ssl verification functions for Erlang

Erlang88mit

last year

certificatecertificateserlang

Password hashing and verification library

Common Lisp27

4 years ago

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

Rust725apache-2.0

5 months ago

captchadevopsdevops-tools

Compilation and Verification of Data-Centric Languages

Coq53apache-2.0

10 months ago

compilercoq-proof-assistantfunctional-programming

The Scenario Architect provides a lightweight graphical user interface that allo

Python30epl-2.0

2 years ago

safetyscenario

All algorithm implementations like signature verification and protocol entries l

TypeScript9mit

last year

cryptocryptographysignature

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

F#154mit

8 months ago

code-generationdotnet-clifable

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

Go1027mit

3 months ago

disposableemailgo

Go client library around the VerifID identity verification layer API.

Go2mit

3 years ago

gogolanggotest

A framework for distributed systems verification, with fault injection

Clojure6320

7 months ago

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

Rust325other

2 months ago

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

Ruby68mit

5 months ago

annoyingautomationdocker-image

Mutation analysis tool for Coq verification projects

Java25apache-2.0

4 years ago

coqmutation-analysisserapi

Decentralized Solidity contract source code verification service

TypeScript694mit

2 months ago

contractsverification

Model-based design and verification for robotics.

C++3081other

5 hours ago

drakerobotics

Vue2-Auth-Email Verification with Firebase🔥

JavaScript29

7 years ago

firebasefirebase-authhacktoberfest

Fast and efficient ed25519 signing and verification in Rust.

Rust653bsd-3-clause

8 months ago

cryptographycurve25519ed25519

Open Source License Key Generation and Verification Tool written in Go

Go767apache-2.0

2 months ago

clicli-appcli-application

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

Shell151mit

2 years ago

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

C#7

last year

api-gatewayawsaws-cdk

RSA public/private key encryption, private key signing and public key verificati

Swift127apache-2.0

last year

linuxmacosrsa-cryptography

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

OCaml321other

8 years ago

Patch-level verification for Bundler

Ruby2629gpl-3.0

3 months ago

bundler-auditdependency-checkerpatch-management

Chart signing and verification with GnuPG for Helm.

Shell24other

4 years ago

gnupggpghelm

pure-python ECDSA signature/verification and ECDH key agreement

Python873other

4 months ago

cryptographydigital-signaturesecdh

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

Go1839mit

5 months ago

audio-captchascaptchago

Formal verification for OCaml

OCaml236mit

3 months ago

compilercoqocaml

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

C++3303apache-2.0

23 days ago

binary-analysisbinary-translationdeobfuscation

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

Objective-C654other

5 months ago

encryptionframeworkios

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

Python772apache-2.0

4 years ago

3dconvolutional-neural-networksdeep-learning

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

Go16mit

3 years ago

argonargon2argon2i

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

Python9789other

8 days ago

androidforensicsforensics-tools

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

Python11267cc-by-sa-4.0

6 days ago

androidandroid-applicationcompliancy-checklist

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

Kotlin1031apache-2.0

5 months ago

consumer-driven-contractscontract-testinghacktoberfest

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

Shell35153cc-by-4.0

5 months ago

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

280cc0-1.0

2 months ago

awesomeawesome-listcoq

:fire::fire::fire: 强大的动态表单生成器|form-create is a form generation component that ca

JavaScript5291mit

4 months ago

ant-design-vuearco-designdynamic-form

Description ente's Authenticator app helps you generate and store 2 step veri

Dart1162gpl-3.0

2 months ago

2faandroidauthenticator

Description Authy brings the future of two-factor authentication to the conve

Java424other

5 months ago

awsbastion-hostec2

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

Dart126apache-2.0

yesterday

Description Authy brings the future of two-factor authentication to the conve

Java3097other

last month

bastion-hostjavajavascript

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

4209

last year

face-alignmentface-detectionface-generation

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

Swift5339mit

4 months ago

animationcardscocoapods

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

Haskell5292agpl-3.0

9 hours ago

chatdouble-ratchete2ee