168 Open source projects that are alternatives of or similar to node-email-verifier

Laravel app boilerplate with email verification process on registration

验证码输入框，验证码，code view，iOS验证码输入

Alive: Automatic LLVM's Instcombine Verifier

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

Docker container for creating valid local ssl certificates

Vonage Server SDK for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.

Samples for the Google SafetyNet Attestation API

Methods to compute sets of states reachable by dynamical systems

Read-only mirror of the Klever Git repository

Automatic SMS Verification with the SMS Retriever API

The Whiley Compiler (WyC)

The Mobile Application Security Verification Standard (MASVS) is a standard for mobile app security.

Verify user email without database using cryptography

✅❎ A lightweight image rotation verification plugin.

Laravel 2-Step verification is a package to add 2-Step user authentication to any Laravel project easily. It is configurable and customizable. It uses notifications to send the user an email with a 4-digit verification code. Laravel 2-Step Authentication Verification for Laravel. Can be used in out the box with Laravel's authentication scaffolding or integrated into other projects.

✉️ ✅ A Fast and Free Email Verification API written in Go

No description or website provided.

Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon

A Proof-oriented Programming Language

Enables your consumer driven contracts workflow

Firebase Spring Boot Rest API Authentication

Cosette is an automated SQL solver.

Homepage Theorem Proving in Lean FAQ

🔒Unified API for password hashing algorithms

Active Directory strategy for passport.js

mocking library for Kotlin

Collection of Verification Tasks

⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

pySMT: A library for SMT formulae manipulation and solving

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

Simple Theorem Prover, an efficient SMT solver for bitvectors

Verify the Apple id token on the server side.

SMACK Software Verifier and Verification Toolchain

A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose).

A boilerplate for Node.js apps / GraphQL-API / Authentication from scratch - express, graphql - (graphql compose), mongodb (mongoose).

🐺 Command-line application and golang client library for hunter.io

RISC-V CPU Core (RV32IM)

Links to tools by subject

Functional verification project for the CORE-V family of RISC-V cores.

Package verifier provides simple defensive programing primitives.

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

Awesome ASIC design verification

Customisable OTP view and Passcode view

TypeScript wrapper library over Reacher API

❤️ Simple UI for pincode verification

Cogent Project

Definition of the Viper intermediate verification language.

A customisable verification code view to capture OTPs

React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.

SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

This repo contains the artifact for our SOSP'19 paper on Serval

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

ECMAScript verification with SMT solvers

Build trust into your image by creating a blockchain certificate for it

Using Nim to interface with SystemVerilog test benches via DPI-C

generative programming & verification

Hagelslag is an object-based severe storm hazard forecasting system.