Awesome Open Source
Awesome Open Source
Combined Topics
verification
x
Advertising
📦 9
All Projects
Application Programming Interfaces
📦 120
Applications
📦 181
Artificial Intelligence
📦 72
Blockchain
📦 70
Build Tools
📦 111
Cloud Computing
📦 79
Code Quality
📦 28
Collaboration
📦 30
Command Line Interface
📦 48
Community
📦 81
Companies
📦 60
Compilers
📦 60
Computer Science
📦 74
Configuration Management
📦 39
Content Management
📦 167
Control Flow
📦 197
Data Formats
📦 77
Data Processing
📦 266
Data Storage
📦 132
Economics
📦 60
Frameworks
📦 198
Games
📦 122
Graphics
📦 103
Hardware
📦 148
Integrated Development Environments
📦 47
Learning Resources
📦 147
Legal
📦 28
Libraries
📦 119
Lists Of Projects
📦 21
Machine Learning
📦 336
Mapping
📦 61
Marketing
📦 15
Mathematics
📦 55
Media
📦 228
Messaging
📦 97
Networking
📦 304
Operating Systems
📦 84
Operations
📦 120
Package Managers
📦 52
Programming Languages
📦 229
Runtime Environments
📦 96
Science
📦 42
Security
📦 375
Social Media
📦 26
Software Architecture
📦 70
Software Development
📦 68
Software Performance
📦 57
Software Quality
📦 127
Text Editors
📦 45
Text Processing
📦 131
User Interface
📦 310
User Interface Components
📦 465
Version Control
📦 29
Virtualization
📦 68
Web Browsers
📦 38
Web Servers
📦 25
Web User Interface
📦 194
The Top 641 Verification Open Source Projects on Github
Categories
>
Software Quality
>
Verification
Mockk
⭐
4,183
mocking library for Kotlin
Immudb
⭐
3,344
immudb - world’s fastest immutable database, built on a zero trust model
Fstar
⭐
2,160
A Proof-oriented Programming Language
Software Quality Wiki
⭐
1,950
Software Quality Wiki
Lean
⭐
1,676
Lean Theorem Prover
Tlaplus
⭐
1,603
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Hacl Star
⭐
1,415
HACL*, a formally verified cryptographic library written in F*
Owasp Masvs
⭐
1,252
The Mobile Application Security Verification Standard (MASVS) is a standard for mobile app security.
Trumail
⭐
956
✉️ ✅ A Fast and Free Email Verification API written in Go
Liquidhaskell
⭐
923
Liquid Types For Haskell
Cocotb
⭐
915
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
Smsverifycatcher
⭐
804
Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon
Pact_broker
⭐
595
Enables your consumer driven contracts workflow
Cryptominisat
⭐
553
An advanced SAT solver
F License
⭐
521
Open Source License Key Generation and Verification Tool written in Go
Cosette
⭐
509
Cosette is an automated SQL solver.
Vunit
⭐
499
VUnit is a unit testing framework for VHDL/SystemVerilog
Prusti Dev
⭐
490
A static verifier for Rust, based on the Viper verification infrastructure.
Validate
⭐
488
⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。
Upash
⭐
470
🔒Unified API for password hashing algorithms
Ed25519 Dalek
⭐
416
Fast and efficient ed25519 signing and verification in Rust.
Pysmt
⭐
392
pySMT: A library for SMT formulae manipulation and solving
Riscv
⭐
364
RISC-V CPU Core (RV32IM)
Stp
⭐
356
Simple Theorem Prover, an efficient SMT solver for bitvectors
Smack
⭐
349
SMACK Software Verifier and Verification Toolchain
Certigrad
⭐
346
Bug-free machine learning on stochastic computation graphs
Ttgpuzzleverify
⭐
344
By completing image puzzle game, TTGPuzzleVerify is a more user-friendly verification tool on iOS, which is highly customizable and easy to use. 体验更友好的拼图验证控件
Email Verifier
⭐
336
✅ A Go library for email verification without sending any emails.
Poc
⭐
324
IP Core Library - Published and maintained by the Chair for VLSI Design, Diagnostics and Architecture, Faculty of Computer Science, Technische Universität Dresden, Germany
Kremlin
⭐
305
KreMLin is a tool for extracting low-level F* programs to readable C code
Seahorn
⭐
305
SeaHorn Verification Framework
Alive2
⭐
302
Automatic verification of LLVM optimizations
Tool_lists
⭐
289
Links to tools by subject
Concuerror
⭐
288
Concuerror is a stateless model checking tool for Erlang programs.
Stainless
⭐
270
Verification framework and tool for higher-order Scala programs
Express Graphql Mongodb Boilerplate
⭐
269
A boilerplate for Node.js apps / GraphQL-API / Authentication from scratch - express, graphql - (graphql compose), mongodb (mongoose).
Verifier
⭐
261
Package verifier provides simple defensive programing primitives.
Flutter_pinput
⭐
246
🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations
Flint
⭐
228
The Flint Programming Language for Smart Contracts
Symbiotic
⭐
219
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Creusot
⭐
216
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Scilla
⭐
213
Scilla - A Smart Contract Intermediate Level Language
Alive
⭐
203
Alive: Automatic LLVM's Instcombine Verifier
Vscode Tlaplus
⭐
194
TLA+ language support for Visual Studio Code
Android Play Safetynet
⭐
190
Samples for the Google SafetyNet Attestation API
Whileycompiler
⭐
185
The Whiley Compiler (WyC)
Rust Verification Tools
⭐
183
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Md5 File
⭐
181
return an md5sum of a given file
Sv Benchmarks
⭐
173
Collection of Verification Tasks (MOVED, please follow the link)
Laravel2step
⭐
168
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
Awesome Open Hardware Verification
⭐
157
A List of Free and Open Source Hardware Verification Tools and Frameworks
Cpachecker
⭐
157
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Sbv
⭐
156
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Osvvm
⭐
155
OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...
Antiddos System
⭐
153
🛡️⚔️ Protect your web app from DDOS attack or the Dead Ping + CAPTCHA VERIFICATION in one line!
Rohd
⭐
148
The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language. ROHD enables you to build and traverse a graph of connectivity between module objects using unrestricted software.
Fastapi Cloudauth
⭐
146
Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).
Hyperkernel
⭐
145
Cogent
⭐
145
Cogent Project
Brightid
⭐
141
Reference mobile app for BrightID
Firebase Spring Boot Rest Api Authentication
⭐
138
Firebase Spring Boot Rest API Authentication
Bark
⭐
135
Open-Source Framework for Development, Simulation and Benchmarking of Behavior Planning Algorithms for Autonomous Driving
Siepic_ebeam_pdk
⭐
129
SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout
Gini
⭐
125
A fast SAT solver
Reachabilityanalysis.jl
⭐
124
Methods to compute sets of states reachable by dynamical systems
Xskillscore
⭐
124
Metrics for verifying forecasts
Tla Bin
⭐
121
Command line binaries for the TLA+ language
Gini
⭐
121
A fast SAT solver
Logic
⭐
121
CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.
Ergo
⭐
117
The Language for Smart Legal Contracts
Express Mongodb Rest Api Boilerplate
⭐
115
A boilerplate for Node.js apps / Rest API / Authentication from scratch - express, mongodb (mongoose).
Esverify
⭐
111
ECMAScript verification with SMT solvers
Email Checker
⭐
104
Provides email verification on the go.
Naacl2018 Fever
⭐
98
Fact Extraction and VERification baseline published in NAACL2018
React Native Code Verification
⭐
98
❤️ Simple UI for pincode verification
Jhverificationcodeview
⭐
94
验证码输入框，验证码，code view，iOS验证码输入
Sea Dsa
⭐
92
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Rmc
⭐
90
Rust Model Checker
Ward
⭐
89
🔑 A Discord verification bot using reCAPTCHA v2.
Minasmsverification
⭐
88
短信验证：基于阿里云的 微信小程序 功能模块: 直接用 / mini-program + Node.js + Alibaba Cloud / Front & Back End
Verifyedittext
⭐
88
带下划线的验证码输入框
Tulip Control
⭐
85
Temporal Logic Planning toolbox
Siepic_ebeam_pdk
⭐
84
SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout
Vonage Java Sdk
⭐
77
Vonage Server SDK for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.
Amcheck
⭐
74
contrib/amcheck from Postgres v11 backported to earlier Postgres versions
Perennial
⭐
72
Verifying concurrent crash-safe systems
Sms Number Verifier
⭐
71
Allows you to spoof SMS number verification.
Nexmo Java
⭐
68
Nexmo REST API Client Library for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.
Swiftycodeview
⭐
68
Fully customizable UI Component for verification codes written in swift with RxSwift support!
Ssri
⭐
66
Standard Subresource Integrity library for Node.js
In3 Legacy
⭐
65
[Deprecated] Typescript-version of the IN3 client.
Cocotb Coverage
⭐
62
Functional Coverage and Constrained Randomization Extensions for Cocotb
Fingerprint
⭐
61
Fingerprint is a simple tool that can be used to verify the contents of a directory.
Steam Ts
⭐
60
Steam integration for TeamSpeak 3
Verif
⭐
60
Software for verifying weather forecasts
Easyvvuq
⭐
58
Python 3 framework to facilitate verification, validation and uncertainty quantification (VVUQ) for a wide variety of simulations.
Async_fifo
⭐
57
A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog
Checker
⭐
56
Golang parameter validation, which can replace go-playground/validator, includes ncluding Cross Field, Map, Slice and Array diving, provides readable,flexible, configurable validation.
Sally
⭐
56
A model checker for infinite-state systems.
1-100 of 641 projects
Next >
Related Projects
Python Verification Projects (101)
Javascript Verification Projects (72)
Java Verification Projects (53)
Php Verification Projects (45)
Go Verification Projects (33)
Verification Verify Projects (33)
C Plus Plus Verification Projects (32)
Advertising
📦 9
All Projects
Application Programming Interfaces
📦 120
Applications
📦 181
Artificial Intelligence
📦 72
Blockchain
📦 70
Build Tools
📦 111
Cloud Computing
📦 79
Code Quality
📦 28
Collaboration
📦 30
Command Line Interface
📦 48
Community
📦 81
Companies
📦 60
Compilers
📦 60
Computer Science
📦 74
Configuration Management
📦 39
Content Management
📦 167
Control Flow
📦 197
Data Formats
📦 77
Data Processing
📦 266
Data Storage
📦 132
Economics
📦 60
Frameworks
📦 198
Games
📦 122
Graphics
📦 103
Hardware
📦 148
Integrated Development Environments
📦 47
Learning Resources
📦 147
Legal
📦 28
Libraries
📦 119
Lists Of Projects
📦 21
Machine Learning
📦 336
Mapping
📦 61
Marketing
📦 15
Mathematics
📦 55
Media
📦 228
Messaging
📦 97
Networking
📦 304
Operating Systems
📦 84
Operations
📦 120
Package Managers
📦 52
Programming Languages
📦 229
Runtime Environments
📦 96
Science
📦 42
Security
📦 375
Social Media
📦 26
Software Architecture
📦 70
Software Development
📦 68
Software Performance
📦 57
Software Quality
📦 127
Text Editors
📦 45
Text Processing
📦 131
User Interface
📦 310
User Interface Components
📦 465
Version Control
📦 29
Virtualization
📦 68
Web Browsers
📦 38
Web Servers
📦 25
Web User Interface
📦 194
Privacy policy
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.
