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

Categories > Software Quality > Verification

Mockk ⭐ 3,946

mocking library for Kotlin

Immudb ⭐ 3,019

immudb - world’s fastest immutable database

Fstar ⭐ 2,088

Verification system for effectful programs

Software Quality Wiki ⭐ 1,967

Software Quality Wiki

Lean Theorem Prover

Tlaplus ⭐ 1,530

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

Hacl Star ⭐ 1,378

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

Owasp Masvs ⭐ 1,157

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

Trumail ⭐ 953

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

Liquidhaskell ⭐ 887

Liquid Types For Haskell

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

Smsverifycatcher ⭐ 799

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

Pact_broker ⭐ 562

Enables your consumer driven contracts workflow

F License ⭐ 548

Open Source License Key Generation and Verification Tool written in Go

Cosette ⭐ 544

Cosette is an automated SQL solver.

Cryptominisat ⭐ 537

An advanced SAT solver

🔒Unified API for password hashing algorithms

VUnit is a unit testing framework for VHDL/SystemVerilog

Validate ⭐ 449

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

Ed25519 Dalek ⭐ 412

Fast and efficient ed25519 signing and verification in Rust.

Prusti Dev ⭐ 389

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

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

Bug-free machine learning on stochastic computation graphs

pySMT: A library for SMT formulae manipulation and solving

Simple Theorem Prover, an efficient SMT solver for bitvectors

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

RISC-V CPU Core (RV32IM)

Sat_smt_by_example ⭐ 339

"SAT/SMT by example" free ebook

SMACK Software Verifier and Verification Toolchain

Express Graphql Mongodb Boilerplate ⭐ 310

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

Kremlin ⭐ 298

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

Seahorn ⭐ 297

SeaHorn Verification Framework

Concuerror ⭐ 286

Concuerror is a stateless model checking tool for Erlang programs.

Tool_lists ⭐ 283

Links to tools by subject

Verifier ⭐ 265

Package verifier provides simple defensive programing primitives.

Automatic verification of LLVM optimizations

Email Verifier ⭐ 255

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

Stainless ⭐ 253

Verification framework and tool for higher-order Scala programs

The Flint Programming Language for Smart Contracts

Symbiotic ⭐ 216

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

Android Play Safetynet ⭐ 216

Samples for the Google SafetyNet Attestation API

Alive: Automatic LLVM's Instcombine Verifier

Scilla - A Smart Contract Intermediate Level Language

Flutter_pinput ⭐ 195

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

Antiddos System ⭐ 187

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

Md5 File ⭐ 181

return an md5sum of a given file

Laravel2step ⭐ 180

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.

Whileycompiler ⭐ 179

The Whiley Compiler (WyC)

Vscode Tlaplus ⭐ 178

TLA+ language support for Visual Studio Code

Express Mongodb Rest Api Boilerplate ⭐ 172

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

Creusot ⭐ 172

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

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

Sv Benchmarks ⭐ 167

Collection of Verification Tasks

Rust Verification Tools ⭐ 167

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

Coqhammer ⭐ 162

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

Hyperkernel ⭐ 156

Cpachecker ⭐ 152

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

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

Awesome Open Hardware Verification ⭐ 138

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

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

Siepic_ebeam_pdk ⭐ 123

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

A fast SAT solver

Xskillscore ⭐ 117

Metrics for verifying forecasts

Brightid ⭐ 116

Reference mobile app for BrightID

The Language for Smart Legal Contracts

React Native Code Verification ⭐ 110

❤️ Simple UI for pincode verification

Esverify ⭐ 109

ECMAScript verification with SMT solvers

Verifyedittext ⭐ 107

带下划线的验证码输入框

Sea Dsa ⭐ 105

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

Jhverificationcodeview ⭐ 102

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

Email Checker ⭐ 98

Provides email verification on the go.

Minasmsverification ⭐ 94

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

Reachabilityanalysis.jl ⭐ 94

Methods to compute sets of states reachable by dynamical systems

Tulip Control ⭐ 83

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.

Perennial ⭐ 68

Verifying concurrent crash-safe systems

Smsretrieverapimaster ⭐ 52

Automatic SMS Verification with the SMS Retriever API

Scrypt Interactive ⭐ 47

[DEPRECATED] Truebit Verification for Scrypt

Rverify.js ⭐ 37

✅❎ A lightweight image rotation verification plugin.

Gesture_recognition ⭐ 36

a gesture recognition verification lock

Rn Countdown ⭐ 19

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

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