verification

搜索、验证与分析泄漏的凭证

immudb - 基于零信任的不可变数据库，支持 SQL/Key-Value/Document 模型，防篡改，具数据变更历史

Kotlin 的 mocking 库

Dafny is a verification-aware programming language

Kani Rust 验证器

面向证明的程序语言

TLC 是一个用于 TLA+ 规范的模型检查器。TLA+Toolbox 是 TLA+ 的 IDE。

cocotb：基于 Python 的芯片（RTL）验证

OWASP MASVS（移动应用程序安全验证标准）是移动应用程序安全的行业标准。

🖖 GoCaptcha：适用于 Go 的高性能交互式行为验证码库。支持点击、滑动、拖放与旋转模式，轻松保障您的应用程序安全。

Creusot 协助你证明你的 Rust 代码是正确的。

HACL*，以 F* 编写的形式化验证密码学库

基于 Viper 验证基础设施的 Rust 静态验证器。

基于动作时序逻辑（TLA）且具备优秀工具链的可执行规格语言

一个无需发送任何邮件即可进行电子邮件验证的 Go 库。

用 Verilog 实现的开源 GPU，大致基于 RISC-V ISA

Haskell 的 Liquid Types

⚔ 用于数据验证与过滤的 Go 软件包。支持 Map、Struct、Form 数据。Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。

LLVM 优化的自动验证

轻松验证应用。

可插件化的 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.

以太坊智能合约的源代码验证服务。

一个先进的 SAT 求解器

Flutter 套件，用于创建具备所有像素自定义可能性的 PIN 码输入文本字段 🎨，并带有精美动画、iOS 自动填充与 Android 自动填充功能。

VUnit 是一个用于 VHDL/SystemVerilog 的单元测试框架

一种依赖类型证明语言，旨在让软件工程师能够编写可证明正确的裸机代码。

使用 Go 编写的开源授权密钥生成与验证工具

启用您的消费者驱动合约工作流程

针对 CORE-V 系列 RISC-V 核心的功能验证项目。