verification

查找、验证和分析泄露的凭证

适用于Android、iOS、树莓派及服务端的离线语音识别API，支持Python、Java、C#和Node.js开发语言。

说话人日志神经构建模块：语音活动检测、说话人变更检测、重叠语音检测、说话人嵌入

无需发送邮件即可验证邮箱地址是否存在，使用 Rust 编写。附带 ⚙️ HTTP 后端。

领先的免费开源人脸识别系统

一款用于集成和测试SheerID验证流程的轻量级工具。它简化API请求，处理响应，并支持学生等项目的资格检查。

禁用安卓签名验证

Kani Rust Verifier

TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。

Haskell 的液体类型

基于RISC-V指令集架构的开源GPU设计，采用Verilog实现

轻松验证应用程序。

一个基于流的运行时验证框架，用于生成硬实时C代码。

CORE-V系列RISC-V内核的功能验证项目

面向Chisel设计RTL的全功能测试与形式验证库

基于C90的ML-KEM/FIPS 203安全、快速且可移植的实现方案

安全、快速且可移植的ML-DSA/FIPS 204 C90标准实现