Awesome Open Source
Awesome Open Source
Selected Topics
verification
x
Advertising
📦10
All Projects
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
Games
📦129
Graphics
📦110
Hardware
📦152
Integrated Development Environments
📦49
Learning Resources
📦166
Legal
📦29
Libraries
📦129
Lists Of Projects
📦22
Machine Learning
📦347
Mapping
📦64
Marketing
📦15
Mathematics
📦55
Media
📦239
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 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