The Top 74 Verification Open Source Projects

Awesome Open Source

Awesome Open Source

Combined Topics

The Top 74 Verification Open Source Projects

Categories > Software Quality > Verification

mocking library for Kotlin

Verification system for effectful programs

Awesome Software Quality ⭐1,847

Software Quality Wiki

Lean Theorem Prover

Hacl Star ⭐1,303

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

Immudb ⭐1,294

immudb is a lightweight, high-speed immutable database for systems and applications

Tlaplus ⭐1,236

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

Owasp Masvs ⭐795

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

Liquidhaskell ⭐767

Liquid Types For Haskell

Smsverifycatcher ⭐756

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

Cosette is an automated SQL solver.

🔒Unified API for password hashing algorithms

Pact_broker ⭐471

Enables your consumer driven contracts workflow

F License ⭐470

Open Source License Key Generation and Verification Tool written in Go

Cryptominisat ⭐431

An advanced SAT solver

VUnit is a unit testing framework for VHDL/SystemVerilog

Certigrad ⭐352

Bug-free machine learning on stochastic computation graphs

Ttgpuzzleverify ⭐346

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

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

pySMT: A library for SMT formulae manipulation and solving

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

Ed25519 Dalek ⭐289

Fast and efficient ed25519 signing and verification in Rust.

SMACK Software Verifier and Verification Toolchain

Validate ⭐268

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

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

Verifier ⭐262

Package verifier provides simple defensive programing primitives.

Concuerror ⭐260

Concuerror is a stateless model checking tool for Erlang programs.

Express Graphql Mongodb Boilerplate ⭐254

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

Tool_lists ⭐253

Links to tools by subject

SeaHorn Verification Framework

The Flint Programming Language for Smart Contracts

Stainless ⭐223

Verification framework and tool for higher-order Scala programs

Alive: Automatic LLVM's Instcombine Verifier

Symbiotic ⭐195

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

Prusti Dev ⭐194

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

Android Play Safetynet ⭐173

Samples for the Google SafetyNet Attestation API

Whileycompiler ⭐166

The Whiley Compiler (WyC)

Scilla - A Smart Contract Intermediate Level Language

Md5 File ⭐150

return an md5sum of a given file

Laravel2step ⭐150

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.

RISC-V CPU Core (RV32IM)

Hyperkernel ⭐146

Automatic verification of LLVM optimizations

Sv Benchmarks ⭐137

Collection of Verification Tasks

Antiddos System ⭐127

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

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

Open Source VHDL Verification Methodology (OSVVM) Repository

Cpachecker ⭐117

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

Vscode Tlaplus ⭐116

TLA+ language support for Visual Studio Code

Esverify ⭐109

ECMAScript verification with SMT solvers

A fast SAT solver

React Native Code Verification ⭐101

❤️ Simple UI for pincode verification

Siepic_ebeam_pdk ⭐96

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

Verifyedittext ⭐94

带下划线的验证码输入框

The Ergo Language for Smart Legal Contracts

Minasmsverification ⭐88

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

Jhverificationcodeview ⭐87

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

Reference mobile app for BrightID

Nexmo Java ⭐69

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

Tulip Control ⭐66

Temporal Logic Planning toolbox

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

Standard Subresource Integrity library for Node.js

Awesome Open Hardware Verification ⭐59

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

Scrypt Interactive ⭐47

[DEPRECATED] Truebit Verification for Scrypt

Smsretrieverapimaster ⭐40

Automatic SMS Verification with the SMS Retriever API

Perennial ⭐37

Verifying concurrent crash-safe systems

Gesture_recognition ⭐31

a gesture recognition verification lock

Rverify.js ⭐25

✅❎ A lightweight image rotation verification plugin.

Rn Countdown ⭐19

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

1-74 of 74 projects