271 Open Source Verification Software Projects
Free and open source verification code projects including engines, APIs, generators, and tools.
Tlaplus 1598 ⭐
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Owasp Masvs 1248 ⭐
The Mobile Application Security Verification Standard (MASVS) is a standard for mobile app security.
Smsverifycatcher 809 ⭐
Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon
Cocotb 910 ⭐
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
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. 体验更友好的拼图验证控件
Vlsi Eda Poc 401 ⭐
IP Core Library - Published and maintained by the Chair for VLSI Design, Diagnostics and Architecture, Faculty of Computer Science, Technische Universität Dresden, Germany
Gookit Validate 491 ⭐
⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。
Express Graphql Mongodb Boilerplate 323 ⭐
A boilerplate for Node.js apps / GraphQL-API / Authentication from scratch - express, graphql - (graphql compose), mongodb (mongoose).
Symbiotic 219 ⭐
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Laravel2step 188 ⭐
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.
Coqhammer 167 ⭐
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Antiddos System 211 ⭐
🛡️⚔️ Protect your web app from DDOS attack or the Dead Ping + CAPTCHA VERIFICATION in one line!
Osvvm 155 ⭐
OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...
Logic 179 ⭐
CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.
Sbv 156 ⭐
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Express Mongodb Rest API Boilerplate 190 ⭐
A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose).
Minasmsverification 94 ⭐
短信验证：基于阿里云的 微信小程序 功能模块: 直接用 / mini-program + Node.js + Alibaba Cloud / Front & Back End
Swiftycodeview 88 ⭐
Fully customizable UI Component for verification codes written in swift with RxSwift support!
Flutter_pinput 248 ⭐
🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations
Sea Dsa 112 ⭐
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Vonage Java Sdk 77 ⭐
Vonage Server SDK for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.
Awesome Open Hardware Verification 160 ⭐
A List of Free and Open Source Hardware Verification Tools and Frameworks
Ioquatix Fingerprint 69 ⭐
Fingerprint is a simple tool that can be used to verify the contents of a directory.
User Registration Codeigniter 57 ⭐
PHP based user registration system. Built using CodeIgniter and Bootstrap. Has token based verification, password reset functionality, login page, register page and more.