verification

Find, verify, and analyze leaked credentials

immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history

mocking library for Kotlin

Dafny is a verification-aware programming language

Kani Rust Verifier

A Proof-oriented Programming Language

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

cocotb: Python-based chip (RTL) verification

The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.

🖖 GoCaptcha: A high-performance, interactive behavior captcha library for Go. Supporting click, slide, drag-drop, and rotation modes to secure your applications with ease.

Creusot helps you prove your Rust code is correct.

HACL*, a formally verified cryptographic library written in F*

A static verifier for Rust, based on the Viper verification infrastructure.

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

:white_check_mark: A Go library for email verification without sending any emails.

OpenSource GPU, in Verilog, loosely based on RISC-V ISA

Liquid Types For Haskell

⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。

Automatic verification of LLVM optimizations

Verify apps easily.

Pluggable type-checking for Java

Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets. Reverse engineering is the proving ground. MCP server + CLI.

Source code verification service for Ethereum smart contracts

An advanced SAT solver

Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations, iOS autofill, Android autofill

VUnit is a unit testing framework for VHDL/SystemVerilog

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Open Source License Key Generation and Verification Tool written in Go

Enables your consumer driven contracts workflow

Functional verification project for the CORE-V family of RISC-V cores.