❤️❤️❤️❤️❤️❤️ 我们已经正式推出微信小程序,在微信中搜索 TrendForge Pro 即可使用小程序,如果使用 Telegram 请搜索 trendforge_tg ❤️❤️❤️❤️❤️❤️

verification

话题找到数量

trufflesecurity/trufflehog

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

26k
2.4k
400
+168
排名 #17
5月15日
查看详情

alphacep/vosk-api

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

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

aiming-lab/AutoResearchClaw

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

12k
1.5k
35
+385
排名 #12
5月24日
查看详情

pyannote/pyannote-audio

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

9.9k
1.1k
325
+171
排名 #17
5月1日
查看详情

reacherhq/check-if-email-exists

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

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

exadel-inc/CompreFace

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

7.9k
1.1k
334
+572
排名 #16
5月15日
查看详情

ThanhNguyxn/SheerID-Verification-Tool

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

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

LSPosed/CorePatch

禁用安卓签名验证

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

model-checking/kani

Kani Rust Verifier

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

tlaplus/tlaplus

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

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

ucsd-progsys/liquidhaskell

Haskell 的液体类型

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

hughperkins/VeriGPU

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

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

soupslurpr/AppVerifier

轻松验证应用程序。

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

Copilot-Language/copilot

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

824
75
304
+4
排名 #10
5月11日
查看详情

openhwgroup/core-v-verif

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

677
314
299
+9
排名 #17
5月4日
查看详情

intel/rohd

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

482
81
127
+1
排名 #21
5月23日
查看详情

ucb-bar/chiseltest

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

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

pq-code-package/mlkem-native

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

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

pq-code-package/mldsa-native

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

69
44
249
+1
排名 #17
4月29日
查看详情
助手