verification

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

完全自主且自我演进的研究流程，从想法到论文。提出一个想法，获得一篇论文。🦞

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

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

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

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

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

二进制分析平台

Haskell 的液体类型

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

具备17项AI技能、6个工作代理及人员CRM的自我进化第二大脑——灵感源自Garry Tan的gstack和gbrain。兼容Claude Code、Cursor、Kiro、Gemini CLI、Codex。

面向 Rust 程序的验证工具链

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

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

APALACHE：TLA+和Quint的符号模型检查器

KaRaMeL 是一款将底层 F* 程序提取为可读 C 代码的工具

ROHD框架是基于Dart编程语言的硬件描述与验证框架

一款 Rust 验证工具

Julia中可扩展的符号-数值集合计算

C语言静态分析框架

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

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

用于在神经网络上实施逻辑规范的工具包

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