The Top 79 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 79 Verification Open Source Projects

Categories > Software Quality > Verification

Mockk ⭐ 3,704

mocking library for Kotlin

Fstar ⭐ 2,010

Verification system for effectful programs

Software Quality Wiki ⭐ 1,932

Software Quality Wiki

Lean Theorem Prover

Immudb ⭐ 1,786

immudb - world’s fastest immutable database

Tlaplus ⭐ 1,410

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

Hacl Star ⭐ 1,357

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

Owasp Masvs ⭐ 1,010

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

Trumail ⭐ 935

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

Liquidhaskell ⭐ 855

Liquid Types For Haskell

Smsverifycatcher ⭐ 786

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 ⭐ 534

Enables your consumer driven contracts workflow

Cosette ⭐ 532

Cosette is an automated SQL solver.

F License ⭐ 530

Open Source License Key Generation and Verification Tool written in Go

Cryptominisat ⭐ 495

An advanced SAT solver

🔒Unified API for password hashing algorithms

VUnit is a unit testing framework for VHDL/SystemVerilog

Ed25519 Dalek ⭐ 377

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

Validate ⭐ 372

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

Certigrad ⭐ 366

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. 体验更友好的拼图验证控件

Sat_smt_by_example ⭐ 339

"SAT/SMT by example" free ebook

Simple Theorem Prover, an efficient SMT solver for bitvectors

SMACK Software Verifier and Verification Toolchain

Prusti Dev ⭐ 291

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

Express Graphql Mongodb Boilerplate ⭐ 286

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

Kremlin ⭐ 283

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

Tool_lists ⭐ 270

Links to tools by subject

Concuerror ⭐ 269

Concuerror is a stateless model checking tool for Erlang programs.

Seahorn ⭐ 266

SeaHorn Verification Framework

Verifier ⭐ 265

Package verifier provides simple defensive programing primitives.

RISC-V CPU Core (RV32IM)

Stainless ⭐ 239

Verification framework and tool for higher-order Scala programs

The Flint Programming Language for Smart Contracts

Symbiotic ⭐ 211

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

Alive: Automatic LLVM's Instcombine Verifier

Android Play Safetynet ⭐ 193

Samples for the Google SafetyNet Attestation API

Automatic verification of LLVM optimizations

Whileycompiler ⭐ 181

The Whiley Compiler (WyC)

Scilla - A Smart Contract Intermediate Level Language

Md5 File ⭐ 175

return an md5sum of a given file

Laravel2step ⭐ 174

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.

Antiddos System ⭐ 172

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

Email Verifier ⭐ 161

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

Sv Benchmarks ⭐ 157

Collection of Verification Tasks

Coqhammer ⭐ 157

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

Hyperkernel ⭐ 151

Vscode Tlaplus ⭐ 150

TLA+ language support for Visual Studio Code

Express Mongodb Rest Api Boilerplate ⭐ 150

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

Flutter_pinput ⭐ 148

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

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 ⭐ 137

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.

Siepic_ebeam_pdk ⭐ 119

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

A fast SAT solver

Esverify ⭐ 109

ECMAScript verification with SMT solvers

React Native Code Verification ⭐ 109

❤️ Simple UI for pincode verification

The Language for Smart Legal Contracts

Verifyedittext ⭐ 103

带下划线的验证码输入框

Brightid ⭐ 98

Reference mobile app for BrightID

Jhverificationcodeview ⭐ 96

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

Awesome Open Hardware Verification ⭐ 96

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

Minasmsverification ⭐ 94

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

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

Tulip Control ⭐ 81

Temporal Logic Planning toolbox

Vonage Java Sdk ⭐ 75

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

Perennial ⭐ 56

Verifying concurrent crash-safe systems

Reachabilityanalysis.jl ⭐ 56

Methods to compute sets of states reachable by dynamical systems

Smsretrieverapimaster ⭐ 48

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 ⭐ 32

✅❎ A lightweight image rotation verification plugin.

Rn Countdown ⭐ 19

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

1-79 of 79 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