搜索结果：security（2 个）

按分类缩小范围

综合 53

zio-json 是专为 Scala 生态打造的高性能、安全型 JSON 库，与 ZIO 紧密集成。它解决了传统 JSON 库编译慢、抵御恶意载荷能力弱的问题，提供极快编解码速度、安全防护、清晰的报错信息与轻量设计，且跨平台支持 Scala.js 和 Scala Native。

Scala 429 164 2026-11-11

效率与办公工具安全与隐私工具自动化与工作流部署：待检测

综合 51

〔中文简介暂未生成〕 Main source code repository of the Tamarin prover for security protocol verification.

Haskell 561 170 2026-11-09

安全与隐私工具数据分析与数据处理效率与办公工具部署：待检测