verification

共找到 12 个相关项目

trufflesecurity/trufflehog

Go

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

credentials devsecops dynamic-analysis
trufflesecurity
trufflesecurity 开发者
24k
2.2k
82
+168
排名 #16
2月8日
查看详情

pyannote/pyannote-audio

Jupyter Notebook

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

overlapped-speech-detection pretrained-models pytorch
pyannote
pyannote 开发者
9.2k
1k
56
+56
排名 #17
2月21日
查看详情

reacherhq/check-if-email-exists

Rust

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

email email-validation email-validation-api
reacherhq
reacherhq 开发者
8.4k
577
79
+497
排名 #19
2月15日
查看详情

exadel-inc/CompreFace

Java

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

computer-vision docker docker-compose
exadel-inc
exadel-inc 开发者
7.7k
1.1k
82
+572
排名 #16
2月4日
查看详情

ThanhNguyxn/SheerID-Verification-Tool

Python

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

automation education sheerid
ThanhNguyxn
ThanhNguyxn 开发者
3k
527
69
+48
排名 #7
2月1日
查看详情

model-checking/kani

Rust

Kani Rust Verifier

model-checking rust verification
model-checking
model-checking 开发者
2.9k
141
28
+9
排名 #9
2月14日
查看详情

hughperkins/VeriGPU

SystemVerilog

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

asic-design gpu gpu-acceleration
hughperkins
hughperkins 开发者
1.3k
136
53
+21
排名 #12
2月22日
查看详情

soupslurpr/AppVerifier

Kotlin

轻松验证应用程序。

android jetpack-compose kotlin
soupslurpr
soupslurpr 开发者
906
39
57
+3
排名 #18
2月18日
查看详情

Copilot-Language/copilot

Haskell

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

c copilot embedded-systems
Copilot-Language
Copilot-Language 开发者
797
73
69
+4
排名 #10
1月31日
查看详情

openhwgroup/core-v-verif

Assembly

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

risc-v systemverilog uvm
openhwgroup
openhwgroup 开发者
655
303
42
+5
排名 #15
2月9日
查看详情

ucb-bar/chiseltest

Scala

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

chisel formal testing
ucb-bar
ucb-bar 开发者
233
74
44
排名 #20
2月16日
查看详情

pq-code-package/mldsa-native

Assembly

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

formal-verification ml-dsa post-quantum-cryptography
pq-code-package
pq-code-package 开发者
49
36
0
排名 #13
2月22日
查看详情
助手