mocking library for Kotlin

Verification system for effectful programs

List of free software testing and verification resources

Lean Theorem Prover

HACL*, a formally verified cryptographic library written in F*

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

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

Liquid Types For Haskell

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

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

Cosette is an automated SQL solver.

🔒Unified API for password hashing algorithms

Enables your consumer driven contracts workflow

An advanced SAT solver

Bug-free machine learning on stochastic computation graphs

"SAT/SMT by example" free ebook

By completing image puzzle game, TTGPuzzleVerify is a more user-friendly verification tool on iOS, which is highly customizable and easy to use. 体验更友好的拼图验证控件

VUnit is a unit testing framework for VHDL/SystemVerilog

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

Simple Theorem Prover, an efficient SMT solver for bitvectors

IP Core Library - Published and maintained by the Chair for VLSI Design, Diagnostics and Architecture, Faculty of Computer Science, Technische Universität Dresden, Germany

Package verifier provides simple defensive programing primitives.

SMACK Software Verifier and Verification Toolchain

Fast and efficient ed25519 signing and verification in Rust.

Concuerror is a stateless model checking tool for Erlang programs.

KreMLin is a tool for extracting low-level F* programs to readable C code

Links to tools by subject

The Flint Programming Language for Smart Contracts

SeaHorn Verification Framework

Verification framework and tool for higher-order Scala programs

Alive: Automatic LLVM's Instcombine Verifier

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

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

The Whiley Compiler (WyC)

Samples for the Google SafetyNet Attestation API

Scilla - A Smart Contract Intermediate Level Language

return an md5sum of a given file

Collection of Verification Tasks

Proof-Code Cogeneration

ECMAScript verification with SMT solvers

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

A fast SAT solver

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.

❤️ Simple UI for pincode verification

Open Source VHDL Verification Methodology (OSVVM) Repository

A static verifier for Rust, based on the Viper verification infrastructure.

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

短信验证：基于阿里云的 微信小程序 功能模块: 直接用 / mini-program + Node.js + Alibaba Cloud / Front & Back End / refactoring

带下划线的验证码输入框

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

The Ergo Language for Smart Legal Contracts

Standard Subresource Integrity library for Node.js

Nexmo REST API Client Library for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.

Temporal Logic Planning toolbox

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

[DEPRECATED] Truebit Verification for Scrypt

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

Verifying concurrent crash-safe systems

a gesture recognition verification lock

⏰ 纯 JavaScript 实现的针对 React Native App 的倒计时组件。