搜索结果：sec（40 个）
按分类缩小范围
tauri （跨平台桌面与移动应用框架）
综合 58
使用 Web 前端技术构建更轻量、更快、更安全的桌面及移动端应用。
plutus
综合 58
Plutus 是 Cardano 区块链底层的智能合约语言与开发平台。它主要用于在 Cardano 上构建去中心化应用，核心包含嵌入在账本中的脚本语言 Plutus Core 的实现与形式化规范，以及将 Haskell 代码编译为 Plutus Core 的编译器 Plutus Tx。
ironclaw
综合 58
专注于隐私、安全性和高扩展性的 Agent 操作系统。
mall （微服务电商系统）
综合 54
基于 Spring Boot + MyBatis 实现的电商系统，包含前台商城与后台管理，支持 Docker 部署。
recheck
综合 54
recheck 是一款值得信赖的 ReDoS（正则表达式拒绝服务攻击）检测工具。它主要用 Scala 开发，旨在解决不安全正则导致的性能崩溃或安全漏洞问题。其核心功能是分析和检测正则表达式中的 ReDoS 风险，并提供相关 ESLint 插件以保障代码安全。
union （零知识证明跨链桥协议）
综合 53
面向去中心化金融、抗审查且高安全性的最小化信任零知识证明跨链桥协议。
netbird
综合 51
基于 P2P WireGuard 的零信任网络平台，在任意网络中安全连接人员、设备与 AI Agent。
tamarin-prover
综合 51
Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。
Real-Time-Voice-Cloning
综合 49
仅需 5 秒即可克隆声音，并实时生成任意语音。
jumpserver
综合 49
具备 AI 能力的开源特权访问管理（PAM）平台，为团队提供安全访问 SSH、RDP、Kubernetes 等资源的统一工作区。
securityonion
综合 48
用于威胁排查、企业安全监控和日志管理的免费开源平台，内置警报、仪表板和 PCAP 等功能。
nuclei
综合 47
由全球安全社区驱动的快速、可定制漏洞扫描器，基于简洁的 YAML DSL 协作应对热门漏洞。
trivy
综合 47
开源安全工具，可扫描容器、Kubernetes、代码仓库及云环境中的漏洞、配置错误、敏感信息与 SBOM。
DOMPurify
综合 47
基于 DOM 的极速、高容错 XSS 清洗工具，支持 HTML、MathML 和 SVG，默认安全且高度可配。
psalm
综合 46
用于检测 PHP 应用程序错误和安全漏洞的静态分析工具。
cilium
综合 45
基于 eBPF 技术的云原生网络、安全与可观测性解决方案。
serviceradar
综合 44
开源的网络管理、监控、IT 运维管理（ITOM）、可观测性与安全分析系统。
gatsby
综合 43
基于 React 的 Web 框架，开箱即具备高性能、高可扩展性与安全性。
setup-ipsec-vpn
综合 42
几分钟快速搭建 IPsec VPN 服务器，支持 IPsec/L2TP、Cisco IPsec 和 IKEv2，兼容多种 Linux 系统。
simdjson
综合 41
每秒解析数 GB 的高性能 JSON 解析库。