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 核心的功能驗證專案。