Find, verify, and analyze leaked credentials
The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
Source code verification service for Ethereum smart contracts
My own notes (drafts mostly) about software quality
mocking library for Kotlin
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
Dafny is a verification-aware programming language
VUnit is a unit testing framework for VHDL/SystemVerilog
RISC-V CPU Core (RV32IM)
Functional verification project for the CORE-V family of RISC-V cores.
A Proof-oriented Programming Language
ARCHIVED/MOVED: please visit the new location
📧 ✅ A Fast and Free Email Verification API written in Go
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Lean Theorem Prover
Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations, iOS autofill, Android autofill
✅ A Go library for email verification without sending any emails.
An advanced SAT solver
Add a description, image, and links to the verification topic page so that developers can more easily learn about it.
To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."