Top 158 verification open source projects

Verification framework and tool for higher-order Scala programs

The Flint Programming Language for Smart Contracts

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

Alive: Automatic LLVM's Instcombine Verifier

Automatic verification of LLVM optimizations

Samples for the Google SafetyNet Attestation API

Scilla - A Smart Contract Intermediate Level Language

The Whiley Compiler (WyC)

return an md5sum of a given file

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.

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

A Proof-oriented Programming Language

Software Quality Wiki

Homepage Theorem Proving in Lean FAQ

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

Collection of Verification Tasks

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

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

TLA+ language support for Visual Studio Code

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

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

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

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

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

Cogent Project

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

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

A fast SAT solver

ECMAScript verification with SMT solvers

❤️ Simple UI for pincode verification

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

The Language for Smart Legal Contracts

带下划线的验证码输入框

A List of Free and Open Source Hardware Verification Tools and Frameworks

Reference mobile app for BrightID

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

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

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

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

Temporal Logic Planning toolbox

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

Standard Subresource Integrity library for Node.js

Methods to compute sets of states reachable by dynamical systems

Verifying concurrent crash-safe systems

Automatic SMS Verification with the SMS Retriever API

[DEPRECATED] Truebit Verification for Scrypt

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

a gesture recognition verification lock

✅❎ A lightweight image rotation verification plugin.

Liquid Types For Haskell

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

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

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

cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

Enables your consumer driven contracts workflow

Open Source License Key Generation and Verification Tool written in Go

Cosette is an automated SQL solver.

An advanced SAT solver

🔒Unified API for password hashing algorithms