Awesome Open Source
Awesome Open Source
Selected Topics
verification x

The Top 61 Verification Open Source Projects

Categories > Software Quality > Verification
Mockk 2,560
mocking library for Kotlin
Fstar 1,750
Verification system for effectful programs
Awesome Software Quality 1,718
List of free software testing and verification resources
Lean 1,570
Lean Theorem Prover
Hacl Star 1,231
HACL*, a formally verified cryptographic library written in F*
Tlaplus 1,034
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Trumail 856
✉️ ✅ A Fast and Free Email Verification API written in Go
Liquidhaskell 731
Liquid Types For Haskell
Smsverifycatcher 731
Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon
Owasp Masvs 550
The Mobile Application Security Verification Standard (MASVS) is a standard for mobile app security.
Cosette 490
Cosette is an automated SQL solver.
Upash 447
🔒Unified API for password hashing algorithms
Pact_broker 423
Enables your consumer driven contracts workflow
Cryptominisat 381
An advanced SAT solver
Certigrad 342
Bug-free machine learning on stochastic computation graphs
Sat_smt_by_example 339
"SAT/SMT by example" free ebook
Ttgpuzzleverify 339
By completing image puzzle game, TTGPuzzleVerify is a more user-friendly verification tool on iOS, which is highly customizable and easy to use. 体验更友好的拼图验证控件
Vunit 336
VUnit is a unit testing framework for VHDL/SystemVerilog
Sbv 310
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Stp 284
Simple Theorem Prover, an efficient SMT solver for bitvectors
Poc 282
IP Core Library - Published and maintained by the Chair for VLSI Design, Diagnostics and Architecture, Faculty of Computer Science, Technische Universität Dresden, Germany
Verifier 254
Package verifier provides simple defensive programing primitives.
Smack 253
SMACK Software Verifier and Verification Toolchain
Ed25519 Dalek 238
Fast and efficient ed25519 signing and verification in Rust.
Concuerror 236
Concuerror is a stateless model checking tool for Erlang programs.
Kremlin 230
KreMLin is a tool for extracting low-level F* programs to readable C code
Tool_lists 221
Links to tools by subject
Flint 217
The Flint Programming Language for Smart Contracts
Seahorn 205
SeaHorn Verification Framework
Stainless 205
Verification framework and tool for higher-order Scala programs
Alive 200
Alive: Automatic LLVM's Instcombine Verifier
Express Graphql Mongodb Boilerplate 170
A boilerplate for Node.js apps / API server / Authentication from scratch - express, graphql - (graphql compose), mongodb (mongoose).
Symbiotic 161
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Whileycompiler 160
The Whiley Compiler (WyC)
Android Play Safetynet 152
Samples for the Google SafetyNet Attestation API
Scilla 146
Scilla - A Smart Contract Intermediate Level Language
Hyperkernel 142
Md5 File 134
return an md5sum of a given file
Sv Benchmarks 117
Collection of Verification Tasks
Cogent 116
Proof-Code Cogeneration
Esverify 106
ECMAScript verification with SMT solvers
Cpachecker 104
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Gini 103
A fast SAT solver
Laravel2step 95
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.
React Native Code Verification 95
❤️ Simple UI for pincode verification
Osvvm 94
Open Source VHDL Verification Methodology (OSVVM) Repository
Prusti Dev 94
A static verifier for Rust, based on the Viper verification infrastructure.
Antiddos System 88
🛡️⚔️ Protect your web app from DDOS attack or the Dead Ping + CAPTCHA VERIFICATION in one line!
Minasmsverification 86
短信验证:基于阿里云的 微信小程序 功能模块: 直接用 / mini-program + Node.js + Alibaba Cloud / Front & Back End / refactoring
Verifyedittext 82
带下划线的验证码输入框
Siepic_ebeam_pdk 74
SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout
Ergo 72
The Ergo Language for Smart Legal Contracts
Ssri 65
Standard Subresource Integrity library for Node.js
Nexmo Java 63
Nexmo REST API Client Library for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.
Tulip Control 59
Temporal Logic Planning toolbox
Jhverificationcodeview 57
验证码输入框,验证码,code view,iOS验证码输入
Scrypt Interactive 47
[DEPRECATED] Truebit Verification for Scrypt
Sea Dsa 42
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Perennial 24
Verifying concurrent crash-safe systems
Gesture_recognition 23
a gesture recognition verification lock
Rn Countdown 19
⏰ 纯 JavaScript 实现的针对 React Native App 的倒计时组件。
1-61 of 61 projects