TLC is a model checker for specifications written in TLA . The TLA Toolbox is an IDE for TLA .

Pluggable type-checking for Java

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

Samples for the Google SafetyNet Attestation API

The Whiley Compiler (WyC)

Firebase Spring Boot Rest API Authentication

带下划线的验证码输入框

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

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

Static checker for Java

Automatic SMS Verification with the SMS Retriever API

Home of the UML-based Specification Environment (USE)

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

RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.

Android仿滴滴验证码输入框

Lilium is a wrapper library for SafetyNet API provided by Google. Unity Compatible.

This is a demo project that incorporates 3D passive face liveness detection, face recognition, face capture, and analysis of face attributes including age, gender, face quality, face occlusion, eye closure, and mouth opening.

For IVCT Framework Developers. Core System for the IVCT (Integration, Verification and Certification Tool) for HLA Federates

The Java SDK for interacting with the Yoti Platform

Automatic SMS Verification with the SMS Retriever API