verification

Tìm kiếm, xác minh và phân tích thông tin xác thực bị rò rỉ

immudb - cơ sở dữ liệu bất biến dựa trên mô hình zero trust, SQL/Key-Value/Document, chống giả mạo, lịch sử thay đổi dữ liệu

Thư viện mocking dành cho Kotlin

Dafny là một ngôn ngữ lập trình hỗ trợ kiểm chứng

Công cụ kiểm chứng Kani Rust Verifier

Một ngôn ngữ lập trình hướng chứng minh

TLC là một trình kiểm tra mô hình cho các thông số kỹ thuật được viết bằng TLA+. TLA+Toolbox là một IDE cho TLA+.

cocotb: Xác minh chip (RTL) dựa trên Python

OWASP MASVS (Tiêu chuẩn xác minh bảo mật ứng dụng di động) là tiêu chuẩn công nghiệp cho bảo mật ứng dụng di động.

🖖 GoCaptcha: Thư viện captcha hành vi tương tác, hiệu năng cao dành cho Go. Hỗ trợ các chế độ nhấp, trượt, kéo-thả và xoay để bảo mật ứng dụng của bạn một cách dễ dàng.

HACL*, một thư viện mã hóa được kiểm chứng chính thức viết bằng F*

Creusot giúp bạn chứng minh mã nguồn Rust của mình là chính xác.

Công cụ xác minh tĩnh cho Rust, dựa trên cơ sở hạ tầng xác minh Viper.

Ngôn ngữ đặc tả khả thi với các công cụ thú vị dựa trên logic thời gian của hành động (TLA)

:white_check_mark: Thư viện Go giúp xác minh email mà không cần gửi bất kỳ email nào.

GPU mã nguồn mở viết bằng Verilog, dựa phần lớn trên kiến trúc tập lệnh RISC-V

Liquid Types cho Haskell

⚔ Gói Go để xác thực và lọc dữ liệu. hỗ trợ Map, Struct, dữ liệu Form. Thư viện xác thực và lọc dữ liệu chung của Go, dễ sử dụng, tích hợp sẵn hầu hết các trình xác thực, bộ lọc phổ biến, hỗ trợ trình xác thực tùy chỉnh, thông báo tùy chỉnh, dịch trường.

Xác minh tự động các tối ưu hóa LLVM.

Xác minh ứng dụng một cách dễ dàng.

Kiểm tra kiểu dữ liệu dạng cắm-rút (pluggable) cho 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.

Dịch vụ xác minh mã nguồn cho hợp đồng thông minh Ethereum

Một bộ giải SAT tiên tiến.

Gói Flutter để tạo trường nhập mã PIN với khả năng tùy chỉnh từng pixel, đi kèm hoạt ảnh đẹp mắt, hỗ trợ tự động điền trên iOS và Android

VUnit là một framework kiểm thử đơn vị cho VHDL/SystemVerilog.

Một ngôn ngữ chứng minh phụ thuộc (dependently-typed) nhằm giúp các kỹ sư phần mềm có thể tạo ra mã bare metal chính xác.

Công cụ tạo và xác thực khóa bản quyền mã nguồn mở viết bằng Go

Kích hoạt quy trình làm việc dựa trên hợp đồng do người tiêu dùng điều khiển

Dự án xác minh chức năng cho dòng nhân RISC-V CORE-V.