All Categories → Software Quality → verification

Top 158 verification open source projects

Stainless
Verification framework and tool for higher-order Scala programs
Flint
The Flint Programming Language for Smart Contracts
Symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Alive
Alive: Automatic LLVM's Instcombine Verifier
Alive2
Automatic verification of LLVM optimizations
Android Play Safetynet
Samples for the Google SafetyNet Attestation API
Scilla
Scilla - A Smart Contract Intermediate Level Language
Whileycompiler
The Whiley Compiler (WyC)
Md5 File
return an md5sum of a given file
Laravel2step
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.
✭ 175
verification
Antiddos System
🛡️⚔️ Protect your web app from DDOS attack or the Dead Ping + CAPTCHA VERIFICATION in one line!
Email Verifier
✅ A Go library for email verification without sending any emails.
Sv Benchmarks
Collection of Verification Tasks
Flutter pinput
🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations
Coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Logic
CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.
Osvvm
OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...
Cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Cogent
Cogent Project
✭ 137
verification
Sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Siepic ebeam pdk
SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout
Esverify
ECMAScript verification with SMT solvers
React Native Code Verification
❤️ Simple UI for pincode verification
Tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Verifyedittext
带下划线的验证码输入框
Awesome Open Hardware Verification
A List of Free and Open Source Hardware Verification Tools and Frameworks
Hacl Star
HACL*, a formally verified cryptographic library written in F*
Jhverificationcodeview
验证码输入框,验证码,code view,iOS验证码输入
Minasmsverification
短信验证:基于阿里云的 微信小程序 功能模块: 直接用 / mini-program + Node.js + Alibaba Cloud / Front & Back End
Sea Dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Vonage Java Sdk
Vonage Server SDK for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.
Ssri
Standard Subresource Integrity library for Node.js
Reachabilityanalysis.jl
Methods to compute sets of states reachable by dynamical systems
Perennial
Verifying concurrent crash-safe systems
Smsretrieverapimaster
Automatic SMS Verification with the SMS Retriever API
Scrypt Interactive
[DEPRECATED] Truebit Verification for Scrypt
Owasp Masvs
The Mobile Application Security Verification Standard (MASVS) is a standard for mobile app security.
Rverify.js
✅❎ A lightweight image rotation verification plugin.
Liquidhaskell
Liquid Types For Haskell
Trumail
✉️ ✅ A Fast and Free Email Verification API written in Go
Rn Countdown
⏰ 纯 JavaScript 实现的针对 React Native App 的倒计时组件。
Smsverifycatcher
Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon
Cocotb
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
Pact broker
Enables your consumer driven contracts workflow
F License
Open Source License Key Generation and Verification Tool written in Go
Cosette
Cosette is an automated SQL solver.
Cryptominisat
An advanced SAT solver
1-60 of 158 verification projects