verification

共找到 12 个相关项目

trufflesecurity/trufflehog

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

24k
2.2k
82
+168
排名 #16
2月8日
查看详情

pyannote/pyannote-audio

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

9.2k
1k
56
+56
排名 #17
2月21日
查看详情

reacherhq/check-if-email-exists

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

8.4k
577
79
+497
排名 #19
2月15日
查看详情

exadel-inc/CompreFace

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

7.7k
1.1k
82
+572
排名 #16
2月4日
查看详情

ThanhNguyxn/SheerID-Verification-Tool

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

3k
527
69
+48
排名 #7
2月1日
查看详情

model-checking/kani

Kani Rust Verifier

2.9k
141
28
+9
排名 #9
2月14日
查看详情

hughperkins/VeriGPU

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

1.3k
136
53
+21
排名 #12
2月22日
查看详情

soupslurpr/AppVerifier

轻松验证应用程序。

906
39
57
+3
排名 #18
2月18日
查看详情

Copilot-Language/copilot

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

797
73
69
+4
排名 #10
1月31日
查看详情

openhwgroup/core-v-verif

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

655
303
42
+5
排名 #15
2月9日
查看详情

ucb-bar/chiseltest

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

233
74
44
排名 #20
2月16日
查看详情

pq-code-package/mldsa-native

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

49
36
0
排名 #13
2月22日
查看详情
助手