157 Open source projects that are alternatives of or similar to Cogent

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

Kani Rust Verifier

🔒Unified API for password hashing algorithms

Android view for providing blocks (Edit Texts) to achieve verification process.

带下划线的验证码输入框

Fingerprint is a simple tool that can be used to verify the contents of a directory.

mocking library for Kotlin

Ruby interface to IEEE 1364-2005 Verilog VPI

Methods to compute sets of states reachable by dynamical systems

Provides email verification on the go.

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

Fully customizable UI Component for verification codes written in swift with RxSwift support!

ECMAScript verification with SMT solvers

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

pySMT: A library for SMT formulae manipulation and solving

An advanced automatic speedrun load time remover for community verifiers.

Automatic SMS Verification with the SMS Retriever API

Neural Network Verification Software Tool

Simple Theorem Prover, an efficient SMT solver for bitvectors

An NPM package to generate captcha images that can be used in Discord bots or various other projects

Reference mobile app for BrightID

Home of the Move programming language

SMACK Software Verifier and Verification Toolchain

"Very simple but works well" Computer Vision based ID verification solution provided by LibraX.

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

Fully verified model checker for realtime systems

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

Verified, concurrent, crash-safe transaction system

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

A formally verified high-level synthesis tool based on CompCert and written in Coq.

RISC-V CPU Core (RV32IM)

WAL enables programmable waveform analysis.

✅❎ A lightweight image rotation verification plugin.

VATA Tree Automata Library

Links to tools by subject

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

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

A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.

Package verifier provides simple defensive programing primitives.

The best possible way to verify and validate an email address.

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

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

Awesome ASIC design verification

Software for verifying weather forecasts

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

generative programming & verification

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

Fact Extraction and VERification baseline published in NAACL2018

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

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

Definition of the Viper intermediate verification language.

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

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

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

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

A fast SAT solver

The Language for Smart Legal Contracts

Temporal Logic Planning toolbox

Open Source License Key Generation and Verification Tool written in Go

TLA+ language support for Visual Studio Code