verification

话题找到数量

trufflesecurity/trufflehog

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

25k
2.3k
216
+168
排名 #17
4月6日
查看详情

alphacep/vosk-api

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

14k
1.7k
163
+2
排名 #15
3月7日
查看详情

pyannote/pyannote-audio

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

9.6k
1k
173
+171
排名 #17
4月6日
查看详情

reacherhq/check-if-email-exists

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

8.5k
599
164
+497
排名 #19
3月21日
查看详情

exadel-inc/CompreFace

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

7.8k
1.1k
177
+572
排名 #16
2月24日
查看详情

ThanhNguyxn/SheerID-Verification-Tool

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

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

LSPosed/CorePatch

禁用安卓签名验证

3k
234
105
+11
排名 #17
4月7日
查看详情

model-checking/kani

Kani Rust Verifier

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

tlaplus/tlaplus

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

2.8k
243
132
+24
排名 #13
3月16日
查看详情

ucsd-progsys/liquidhaskell

Haskell 的液体类型

1.3k
154
65
排名 #2
4月2日
查看详情

hughperkins/VeriGPU

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

1.3k
137
166
+50
排名 #12
2月28日
查看详情

soupslurpr/AppVerifier

轻松验证应用程序。

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

Copilot-Language/copilot

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

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

openhwgroup/core-v-verif

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

672
312
146
+9
排名 #15
4月9日
查看详情

ucb-bar/chiseltest

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

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

pq-code-package/mlkem-native

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

168
47
106
排名 #13
4月8日
查看详情

pq-code-package/mldsa-native

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

64
41
142
+1
排名 #17
4月4日
查看详情
助手