搜索结果：sec（229 个）

面向 AI Agent 的安全、快速且可扩展的沙箱运行时环境。

面向 Google 账户的情报收集与攻击性安全分析框架。

Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。

TrustedSec 出品的社会工程学工具包（SET）官方代码仓库。

Anki 的 Android 版抽认卡应用，助你高效记忆与长久巩固知识。

基于 Syncthing 在 iOS 设备上安全同步文件的应用。

新一代多系统启动 U 盘制作解决方案，无需反复格式化即可直接启动镜像。

〔中文简介暂未生成〕 Code Property Graph: specification, query language, and utilities

基于 Web 的网络流量监控与网络安全流量分析工具。

面向 Bundler 的补丁级依赖安全漏洞检查工具。

面向开发者及其 AI Agent 的安全云端开发环境。

简单安全、深受开发者信赖的开发框架。

面向黑客、渗透测试人员和安全研究者的优质安全资源清单合集。

轻量级 Android 密码管理器，支持编辑 KeePass 格式加密文件并安全自动填充表单。

仅需 5 秒即可克隆声音，并实时生成任意语音。

具备 AI 能力的开源特权访问管理（PAM）平台，为团队提供安全访问 SSH、RDP、Kubernetes 等资源的统一工作区。

Megaparsec 是一个工业级的 Haskell 单子解析器组合子库，旨在兼顾解析速度、灵活性与高质量的错误提示。 核心功能包括： 1. **灵活的 Monad 栈构建**：基于 `MonadParsec`，支持结合各类 Monad 变换器定制状态与回溯行为； 2. **丰富的错误处理**：支持自定义解析错误、观察错误以及动态错误恢复（`withRecovery`）； 3. **高性能组合子**：提供零拷贝分块匹配（如 `tokens`、`takeWhileP`），大幅提升文本解析效率； 4. 支持字符、二进制解析及词法分析器构建。

专注于安全与功能增强的 Signal 分支版本。

注重隐私的免费开源简历制作工具，安全可控且支持高度自定义。

安全易用的开源视频会议系统，可作为独立应用使用或嵌入到 Web 项目中。