Awesome Open Source
Awesome Open Source
Combined Topics
verification x

The Top 4,434 Verification Open Source Projects

Categories > Software Quality > Verification
Toolsofthetrade ⭐ 15,754
Tools of The Trade, from Hacker News.
most recent commit 7 days ago
Insightface ⭐ 12,718
State-of-the-art 2D and 3D Face Analysis Project
dependent packages 4total releases 24most recent commit 3 days agopypi insightface} Downloads
Immudb ⭐ 7,877
immudb - immutable database based on zero trust, SQL and Key-Value, tamperproof, data change history
dependent packages 15total releases 130most recent commit 14 hours ago
Plt ⭐ 4,755
Programming Language Theory λΠ
most recent commit 3 months ago
Mockk ⭐ 4,666
mocking library for Kotlin
most recent commit a day ago
Deepface ⭐ 4,635
A Lightweight Face Recognition and Facial Attribute Analysis (Age, Gender, Emotion and Race) Library for Python
dependent packages 3total releases 74most recent commit 8 days agopypi deepface} Downloads
Aegis ⭐ 4,006
A free, secure and open source app for Android to manage your 2-step verification tokens.
most recent commit a day ago
Doesitarm ⭐ 3,477
🦾 A list of reported app support for Apple Silicon as well as Apple M2 and M1 Ultra Macs
most recent commit 3 days ago
Laravel Vue Spa ⭐ 2,804
A Laravel-Vue SPA starter kit.
total releases 24most recent commit a year ago
Bundler Audit ⭐ 2,468
Patch-level verification for Bundler
dependent packages 314total releases 17most recent commit 2 months agorubygems bundler-audit} Downloads
Signal Cli ⭐ 2,418
signal-cli provides an unofficial commandline and dbus interface for signalapp/libsignal-service-java
most recent commit a day ago
Rmstore ⭐ 2,331
A lightweight iOS library for In-App Purchases
total releases 11most recent commit 3 years ago
Fstar ⭐ 2,305
A Proof-oriented Programming Language
most recent commit 16 hours ago
Vulmap ⭐ 2,266
Vulmap 是一款 web 漏洞扫描和验证工具, 可对 webapps 进行漏洞扫描, 并且具备漏洞验证功能
most recent commit 6 months ago
Software Quality Wiki ⭐ 1,950
Software Quality Wiki
most recent commit 2 years ago
Laratrust ⭐ 1,921
Handle roles and permissions in your Laravel application
dependent packages 51total releases 81most recent commit 6 days agopackagist santigarcor/laratrust} Downloads
Xupdate ⭐ 1,904
🚀A lightweight, high availability Android version update framework.(一个轻量级、高可用性的Android版本更新框架)
most recent commit a month ago
Asvs ⭐ 1,895
Application Security Verification Standard
most recent commit 2 days ago
Tlaplus ⭐ 1,881
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
most recent commit 3 days ago
Dafny ⭐ 1,816
Dafny is a verification-aware programming language
total releases 30most recent commit 15 hours ago
Googleauthenticator ⭐ 1,767
PHP class to generate and verify Google Authenticator 2-factor authentication
dependent packages 9most recent commit 2 years agopackagist phpgangsta/googleauthenticator} Downloads
Cwa App Ios ⭐ 1,742
Native iOS app using the exposure notification framework from Apple.
most recent commit 15 hours ago
Lean ⭐ 1,676
Lean Theorem Prover
most recent commit 2 years ago
Fingerprintidentify ⭐ 1,667
👍 Android Fingerprint Verification SDK
most recent commit a year ago
Authenticator ⭐ 1,667
Authenticator generates 2-Step Verification codes in your browser.
most recent commit 18 days ago
Verify ⭐ 1,567
Verify is a snapshot tool that simplifies the assertion of complex data models and documents.
dependent packages 49total releases 417most recent commit 17 hours agonuget Verify} Downloads
Go Update ⭐ 1,545
Build self-updating Golang programs
dependent packages 158total releases 17most recent commit 3 years ago
Owasp Masvs ⭐ 1,514
The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
most recent commit a day ago
Hacl Star ⭐ 1,449
HACL*, a formally verified cryptographic library written in F*
most recent commit 15 hours ago
Deepface ⭐ 1,416
Face analysis mainly based on Caffe. At this time, face analysis tasks like detection, alignment and recognition have been done.
most recent commit 6 years ago
Jwt ⭐ 1,276
Koa middleware for validating JSON Web Tokens
dependent packages 215total releases 46most recent commit 6 months agonpm koa-jwt} Downloads
Cocotb ⭐ 1,187
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
dependent packages 16total releases 36most recent commit 15 hours agopypi cocotb} Downloads
Nosurf ⭐ 1,081
CSRF protection middleware for Go.
dependent packages 73total releases 4most recent commit 2 years ago
Liquidhaskell ⭐ 990
Liquid Types For Haskell
most recent commit 18 days ago
Ocmockito ⭐ 985
Mockito for Objective-C: creation, verification and stubbing of mock objects
total releases 22most recent commit 4 months ago
Trumail ⭐ 956
✉️ ✅ A Fast and Free Email Verification API written in Go
most recent commit 4 years ago
React Firebase Authentication ⭐ 901
🔥 Boilerplate Project for Authentication with Firebase in React.
most recent commit a year ago
Laravel Nuxt ⭐ 868
A Laravel-Nuxt starter project template.
total releases 12most recent commit 2 years ago
Nexmo Php ⭐ 838
Nexmo REST API client for PHP. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.
dependent packages 3total releases 50most recent commit 2 years agopackagist nexmo/client-core} Downloads
Ibex ⭐ 818
Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.
most recent commit 18 hours ago
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
most recent commit 2 years ago
Sdk Js ⭐ 794
Tanker client-side encryption SDK for JavaScript
dependent packages 17total releases 318most recent commit 2 days agonpm @tanker/crypto} Downloads
Validate ⭐ 791
⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段
dependent packages 14total releases 59most recent commit 15 hours ago
Laravel User Verification ⭐ 761
PHP package built for Laravel 5.* & 6.* & 7.* & 8.* & 9.* to easily handle a user email verification and validate the email
dependent packages 8total releases 96most recent commit 8 months agopackagist jrean/laravel-user-verification} Downloads
Neo4j Python Driver ⭐ 742
Neo4j Bolt driver for Python
dependent packages 82total releases 55most recent commit 17 hours agopypi neo4j} Downloads
Kani ⭐ 736
Kani Rust Verifier
most recent commit a day ago
Ts Mockito ⭐ 720
Mocking library for TypeScript
dependent packages 455total releases 50most recent commit a year agonpm ts-mockito} Downloads
Magmide ⭐ 692
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
most recent commit a month ago
Instagram User Feed ⭐ 678
This is a scrapper to easily fetch any feed and interact with Instagram (like, follow, etc.) without OAuth for PHP.
dependent packages 4total releases 68most recent commit a month agopackagist pgrimaud/instagram-user-feed} Downloads
Pact Go ⭐ 671
Golang version of Pact. Pact is a contract testing framework for HTTP APIs and non-HTTP asynchronous messaging systems.
dependent packages 53total releases 114most recent commit 7 days ago
Prusti Dev ⭐ 652
A static verifier for Rust, based on the Viper verification infrastructure.
most recent commit 15 hours ago
Cryptominisat ⭐ 647
An advanced SAT solver
dependent packages 2total releases 1most recent commit 2 days ago
Mosint ⭐ 646
An automated e-mail OSINT tool
most recent commit 4 months ago
Pact_broker ⭐ 644
Enables your consumer driven contracts workflow
most recent commit a day ago
3d Convolutional Speaker Recognition ⭐ 634
🔈 Deep Learning & 3D Convolutional Neural Networks for Speaker Verification
most recent commit 3 years ago
Cv32e40p ⭐ 627
CV32E40P is an in-order 4-stage RISC-V RV32IMFCXpulp CPU based on RI5CY from PULP-Platform
most recent commit a month ago
F License ⭐ 618
Open Source License Key Generation and Verification Tool written in Go
most recent commit 2 months ago
Awesome Hdl ⭐ 608
Hardware Description Languages
most recent commit a month ago
Venice ⭐ 586
Ruby Gem for In-App Purchase Receipt Verification
dependent packages 4total releases 10most recent commit a year agorubygems venice} Downloads
Trustmealready ⭐ 572
🔓 Disable SSL verification and pinning on Android, system-wide
most recent commit 3 years ago
Creusot ⭐ 564
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
most recent commit 16 hours ago
Stoke ⭐ 562
STOKE: A stochastic superoptimizer and program synthesizer
most recent commit 2 years ago
Vunit ⭐ 556
VUnit is a unit testing framework for VHDL/SystemVerilog
dependent packages 4total releases 84most recent commit 17 days agopypi vunit-hdl} Downloads
Cwa Website ⭐ 546
Corona-Warn-App website
most recent commit 18 hours ago
Laravel Confirm Email ⭐ 531
Add email verification to your Laravel projects
total releases 10most recent commit 6 months ago
Samples ⭐ 528
Azure AD B2C custom policy solutions and samples.
most recent commit a month ago
Approvaltests.net ⭐ 526
ApprovalTest verification library for .Net
dependent packages 44total releases 74most recent commit 25 days agonuget ApprovalTests} Downloads
Verified Smart Contracts ⭐ 516
Smart contracts which are formally verified
most recent commit a month ago
Ed25519 Dalek ⭐ 511
Fast and efficient ed25519 signing and verification in Rust.
dependent packages 238total releases 28most recent commit a month agocargo ed25519-dalek} Downloads
Cosette ⭐ 509
Cosette is an automated SQL solver.
most recent commit 4 years ago
Qualitis ⭐ 500
Qualitis is a one-stop data quality management platform that supports quality verification, notification, and management for various datasource. It is used to solve various data quality problems caused by data processing. https://github.com/WeBankFinTech/Qualitis
most recent commit 16 days ago
Phive ⭐ 492
The Phar Installation and Verification Environment (PHIVE)
most recent commit 7 days ago
Jetuml ⭐ 491
A desktop application for fast UML diagramming.
most recent commit 3 months ago
Email Verifier ⭐ 480
✅ A Go library for email verification without sending any emails.
total releases 20most recent commit 3 months ago
Tpinappreceipt ⭐ 472
Reading and Validating In App Purchase Receipt Locally.
total releases 53most recent commit 2 months ago
Openfpga ⭐ 471
An Open-source FPGA IP Generator
most recent commit a day ago
Upash ⭐ 470
🔒Unified API for password hashing algorithms
dependent packages 4total releases 12most recent commit 4 years agonpm credential-plus} Downloads
Sourcify ⭐ 466
Decentralized Solidity contract source code verification service
dependent packages 2total releases 14most recent commit a day agonpm @ethereum-sourcify/core} Downloads
Creusat ⭐ 462
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
most recent commit 2 months ago
Ipn Code Samples ⭐ 460
most recent commit 3 years ago
Cocoafob ⭐ 454
A set of registration code generation and verification helpers for Obj-C, Ruby (Potion Store), PHP and FastSpring
most recent commit 3 months ago
Atata ⭐ 439
C#/.NET test automation framework for web
most recent commit 2 days ago
Pysmt ⭐ 436
pySMT: A library for SMT formulae manipulation and solving
total releases 2most recent commit 3 months ago
Dial2verify Twilio ⭐ 435
Phone verification at no cost
most recent commit a year ago
Vercodeedittext ⭐ 431
🔥An Android vercode EditText.（一个安卓验证码输入控件.仿[探探验证码输入控件]）
most recent commit 4 years ago
Faceverification ⭐ 426
An Experimental Implementation of Face Verification, 96.8% on LFW.
most recent commit 5 years ago
Amsoftmax ⭐ 422
A simple yet effective loss function for face verification.
most recent commit 4 years ago
React Social Network ⭐ 417
Simple React Social Network
most recent commit 2 years ago
Jkcountdownbutton ⭐ 414
JKCountDownButton,子类化UIButton实现IOS倒计时按钮,常常用于注册等发送验
total releases 4most recent commit 4 years ago
Stp ⭐ 411
Simple Theorem Prover, an efficient SMT solver for bitvectors
most recent commit 23 days ago
Copilot ⭐ 410
A stream-based runtime-verification framework for generating hard real-time C code.
most recent commit a month ago
Flutter_pinput ⭐ 409
🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations, iOS autofill, Android autofill
dependent packages 2total releases 47most recent commit 19 hours ago
Gittoolbox ⭐ 400
GitToolBox IntelliJ plugin
most recent commit 7 months ago
Python Deequ ⭐ 398
Python API for Deequ
total releases 9most recent commit 20 days ago
Alive2 ⭐ 385
Automatic verification of LLVM optimizations
most recent commit 7 days ago
Matrix Nio ⭐ 376
A Python Matrix client library, designed according to sans I/O (http://sans-io.readthedocs.io/) principles
dependent packages 13total releases 33most recent commit 3 days agopypi matrix-nio} Downloads
Spartan ⭐ 374
Spartan: High-speed zkSNARKs without trusted setup
total releases 8most recent commit 2 months ago
Truffle Plugin Verify ⭐ 373
✅ Verify your smart contracts on Etherscan from the Truffle CLI
dependent packages 61total releases 56most recent commit 2 months agonpm truffle-plugin-verify} Downloads
Riscv Formal ⭐ 373
RISC-V Formal Verification Framework
most recent commit 10 months ago
Repo ⭐ 371
KISS Linux - Official Repositories
most recent commit 3 months ago
1-100 of 4,434 projects
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 72
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 342
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 116
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,094,552)
Python  (840,926)
Java  (397,509)
Php  (290,361)
Typescript  (268,600)
C Plus Plus  (246,750)
Ruby  (222,778)
C  (186,685)
Shell  (176,042)
C Sharp  (170,124)
Golang  (164,291)
Swift  (66,887)
Rust  (62,136)
R  (59,790)
Objective C  (57,105)
Dart  (56,472)
Kotlin  (49,445)
Lua  (35,819)
Matlab  (31,853)
Perl  (30,656)
Language  (29,985)
Scala  (28,947)
Haskell  (20,643)
Powershell  (19,580)
Clojure  (19,296)
Bash  (18,890)
Coffeescript  (17,223)
Elixir  (16,965)
Assembly  (15,033)
Julia  (13,347)
Processing  (13,288)
Basic  (10,702)
Emacs Lisp  (10,581)
Flow  (10,541)
Erlang  (9,072)
Solidity  (9,017)
Groovy  (8,487)
Scheme  (8,421)
Ocaml  (6,809)
Pascal  (6,586)
Hack  (6,477)
Lisp  (6,346)
Fortran  (5,663)
Elm  (5,508)
Common Lisp  (5,391)
Dlang  (4,765)
Shell Script  (4,735)
Python Library  (4,474)
Crystal  (4,403)
Scripting  (4,221)
Top Projects
Freecodecamp ⭐ 354,898
996.icu ⭐ 264,123
Free Programming Books ⭐ 250,918
Coding Interview University ⭐ 235,345
Awesome ⭐ 221,638
Developer Roadmap ⭐ 213,931
Public Apis ⭐ 210,596
Vue ⭐ 199,807
System Design Primer ⭐ 198,956
React ⭐ 195,656
Tensorflow ⭐ 168,199
Build Your Own X ⭐ 167,003
Bootstrap ⭐ 159,837
You Dont Know Js ⭐ 159,180
Cs Notes ⭐ 157,200
Javascript Algorithms ⭐ 152,325
Ohmyzsh ⭐ 150,805
Python ⭐ 146,259
Flutter ⭐ 145,538
Awesome Python ⭐ 143,628
Linux ⭐ 139,154
Gitignore ⭐ 139,153
Vscode ⭐ 137,318
Javaguide ⭐ 127,697
Javascript ⭐ 127,656
Python 100 Days ⭐ 125,388
Computer Science ⭐ 124,972
Youtube Dl ⭐ 113,939
The Art Of Command Line ⭐ 111,100
Fucking Algorithm ⭐ 110,756
React Native ⭐ 105,174
Awesome Selfhosted ⭐ 105,082
Go ⭐ 104,396
Electron ⭐ 103,971
30 Seconds Of Code ⭐ 102,805
D3 ⭐ 101,796
Create React App ⭐ 97,252
Axios ⭐ 96,215
Free Programming Books Zh_cn ⭐ 94,901
Next.js ⭐ 93,503
Kubernetes ⭐ 92,616
Node ⭐ 90,764
Awesome Go ⭐ 89,034
Three.js ⭐ 85,848
Deno ⭐ 85,661
Terminal ⭐ 85,522
Typescript ⭐ 84,767
Angular ⭐ 84,159
Ant Design ⭐ 82,113
Material Ui ⭐ 81,776
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2022 Awesome Open Source.  All rights reserved.