The Top 82 Verification Open Source Projects

Awesome Open Source

Awesome Open Source

Combined Topics

Advertising 📦 10

Application Programming Interfaces 📦 124

Applications 📦 192

Artificial Intelligence 📦 78

Blockchain 📦 73

Build Tools 📦 113

Cloud Computing 📦 80

Code Quality 📦 28

Collaboration 📦 32

Command Line Interface 📦 49

Community 📦 83

Companies 📦 60

Compilers 📦 63

Computer Science 📦 80

Configuration Management 📦 42

Content Management 📦 175

Control Flow 📦 213

Data Formats 📦 78

Data Processing 📦 276

Data Storage 📦 135

Economics 📦 64

Frameworks 📦 215

Graphics 📦 110

Hardware 📦 152

Integrated Development Environments 📦 49

Learning Resources 📦 166

Libraries 📦 129

Lists Of Projects 📦 22

Machine Learning 📦 347

Mapping 📦 64

Marketing 📦 15

Mathematics 📦 55

Messaging 📦 98

Networking 📦 315

Operating Systems 📦 89

Operations 📦 121

Package Managers 📦 55

Programming Languages 📦 245

Runtime Environments 📦 100

Science 📦 42

Security 📦 396

Social Media 📦 27

Software Architecture 📦 72

Software Development 📦 72

Software Performance 📦 58

Software Quality 📦 133

Text Editors 📦 49

Text Processing 📦 136

User Interface 📦 330

User Interface Components 📦 514

Version Control 📦 30

Virtualization 📦 71

Web Browsers 📦 42

Web Servers 📦 26

Web User Interface 📦 210

The Top 82 Verification Open Source Projects

Categories > Software Quality > Verification

Mockk ⭐ 3,825

mocking library for Kotlin

Fstar ⭐ 2,042

Verification system for effectful programs

Software Quality Wiki ⭐ 1,950

Software Quality Wiki

Immudb ⭐ 1,936

immudb - world’s fastest immutable database

Lean Theorem Prover

Tlaplus ⭐ 1,479

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

Hacl Star ⭐ 1,365

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

Owasp Masvs ⭐ 1,094

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

Trumail ⭐ 941

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

Liquidhaskell ⭐ 870

Liquid Types For Haskell

Smsverifycatcher ⭐ 794

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

Pact_broker ⭐ 555

Enables your consumer driven contracts workflow

Cosette ⭐ 541

Cosette is an automated SQL solver.

F License ⭐ 541

Open Source License Key Generation and Verification Tool written in Go

Cryptominisat ⭐ 521

An advanced SAT solver

🔒Unified API for password hashing algorithms

VUnit is a unit testing framework for VHDL/SystemVerilog

Validate ⭐ 400

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

Ed25519 Dalek ⭐ 397

Fast and efficient ed25519 signing and verification in Rust.

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

Certigrad ⭐ 367

Bug-free machine learning on stochastic computation graphs

pySMT: A library for SMT formulae manipulation and solving

Ttgpuzzleverify ⭐ 350

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

Simple Theorem Prover, an efficient SMT solver for bitvectors

Prusti Dev ⭐ 342

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

Sat_smt_by_example ⭐ 339

"SAT/SMT by example" free ebook

SMACK Software Verifier and Verification Toolchain

Express Graphql Mongodb Boilerplate ⭐ 299

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

Kremlin ⭐ 294

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

RISC-V CPU Core (RV32IM)

Seahorn ⭐ 291

SeaHorn Verification Framework

Concuerror ⭐ 279

Concuerror is a stateless model checking tool for Erlang programs.

Tool_lists ⭐ 276

Links to tools by subject

Verifier ⭐ 264

Package verifier provides simple defensive programing primitives.

Stainless ⭐ 250

Verification framework and tool for higher-order Scala programs

Automatic verification of LLVM optimizations

The Flint Programming Language for Smart Contracts

Email Verifier ⭐ 227

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

Symbiotic ⭐ 216

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

Android Play Safetynet ⭐ 207

Samples for the Google SafetyNet Attestation API

Alive: Automatic LLVM's Instcombine Verifier

Scilla - A Smart Contract Intermediate Level Language

Whileycompiler ⭐ 180

The Whiley Compiler (WyC)

Md5 File ⭐ 179

return an md5sum of a given file

Antiddos System ⭐ 178

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

Laravel2step ⭐ 176

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.

Flutter_pinput ⭐ 175

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

Vscode Tlaplus ⭐ 165

TLA+ language support for Visual Studio Code

Express Mongodb Rest Api Boilerplate ⭐ 164

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

Coqhammer ⭐ 161

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

Sv Benchmarks ⭐ 160

Collection of Verification Tasks

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

Creusot ⭐ 156

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

Hyperkernel ⭐ 152

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

Cpachecker ⭐ 143

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.

Rust Verification Tools ⭐ 132

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

Siepic_ebeam_pdk ⭐ 122

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

Awesome Open Hardware Verification ⭐ 118

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

A fast SAT solver

The Language for Smart Legal Contracts

Esverify ⭐ 109

ECMAScript verification with SMT solvers

React Native Code Verification ⭐ 108

❤️ Simple UI for pincode verification

Verifyedittext ⭐ 105

带下划线的验证码输入框

Brightid ⭐ 103

Reference mobile app for BrightID

Jhverificationcodeview ⭐ 99

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

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

Minasmsverification ⭐ 93

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

Email Checker ⭐ 93

Provides email verification on the go.

Tulip Control ⭐ 81

Temporal Logic Planning toolbox

Standard Subresource Integrity library for Node.js

Vonage Java Sdk ⭐ 77

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

Reachabilityanalysis.jl ⭐ 68

Methods to compute sets of states reachable by dynamical systems

Perennial ⭐ 61

Verifying concurrent crash-safe systems

Smsretrieverapimaster ⭐ 51

Automatic SMS Verification with the SMS Retriever API

Scrypt Interactive ⭐ 47

[DEPRECATED] Truebit Verification for Scrypt

Gesture_recognition ⭐ 37

a gesture recognition verification lock

Rverify.js ⭐ 35

✅❎ A lightweight image rotation verification plugin.

Rn Countdown ⭐ 19

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

1-82 of 82 projects

Advertising 📦 10

Application Programming Interfaces 📦 124

Applications 📦 192

Artificial Intelligence 📦 78

Blockchain 📦 73

Build Tools 📦 113

Cloud Computing 📦 80

Code Quality 📦 28

Collaboration 📦 32

Command Line Interface 📦 49

Community 📦 83

Companies 📦 60

Compilers 📦 63

Computer Science 📦 80

Configuration Management 📦 42

Content Management 📦 175

Control Flow 📦 213

Data Formats 📦 78

Data Processing 📦 276

Data Storage 📦 135

Economics 📦 64

Frameworks 📦 215

Graphics 📦 110

Hardware 📦 152

Integrated Development Environments 📦 49

Learning Resources 📦 166

Libraries 📦 129

Lists Of Projects 📦 22

Machine Learning 📦 347

Mapping 📦 64

Marketing 📦 15

Mathematics 📦 55

Messaging 📦 98

Networking 📦 315

Operating Systems 📦 89

Operations 📦 121

Package Managers 📦 55

Programming Languages 📦 245

Runtime Environments 📦 100

Science 📦 42

Security 📦 396

Social Media 📦 27

Software Architecture 📦 72

Software Development 📦 72

Software Performance 📦 58

Software Quality 📦 133

Text Editors 📦 49

Text Processing 📦 136

User Interface 📦 330

User Interface Components 📦 514

Version Control 📦 30

Virtualization 📦 71

Web Browsers 📦 42

Web Servers 📦 26

Web User Interface 📦 210