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

🔑 Helper class to verify one's identity via personal channels(SMS, Phone, E-Mail and more!)

Provides email verification on the go.

This package provides convenient methods to integrate the NeverBounce API into your project.

return an md5sum of a given file

Automatic verification of LLVM optimizations

Continuous Integration, Verification, Enhancement, and Testing

Suite of tools for retrieving USGS NWIS observations and evaluating National Water Model (NWM) data.

Software Quality Wiki

iOS Framework for reading and validation of identification documents

🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations

immudb - world’s fastest immutable database, built on a zero trust model

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

A tool for verifying links in text-based files

Scilla - A Smart Contract Intermediate Level Language

Fact Extraction and VERification baseline published in NAACL2018

🛡️⚔️ Protect your web app from DDOS attack or the Dead Ping + CAPTCHA VERIFICATION in one line!

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

✅ A Go library for email verification without sending any emails.

Software for verifying weather forecasts

TLA+ language support for Visual Studio Code

Adds a customizable, translatable, configurable OTP verification step to Laravel Auth. You can add your own SMS provider too.

PHP based user registration system. Built using CodeIgniter and Bootstrap. Has token based verification, password reset functionality, login page, register page and more.

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

The Flint Programming Language for Smart Contracts

Laravel app boilerplate with email verification process on registration

Alive: Automatic LLVM's Instcombine Verifier

Docker container for creating valid local ssl certificates

Samples for the Google SafetyNet Attestation API

Read-only mirror of the Klever Git repository

The Whiley Compiler (WyC)

Verify user email without database using cryptography

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.

No description or website provided.

A Proof-oriented Programming Language

Firebase Spring Boot Rest API Authentication

Homepage Theorem Proving in Lean FAQ

Active Directory strategy for passport.js

Collection of Verification Tasks

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

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

Verify the Apple id token on the server side.

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

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

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

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

Customisable OTP view and Passcode view

Cogent Project

A customisable verification code view to capture OTPs

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

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

Anti-DDoS-Lite (Anti-Crawler app) is a small PHP app to protect your site against DDoS attack.

A fast SAT solver

ECMAScript verification with SMT solvers

TypeScript wrapper library over Reacher API

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

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