z3
z3prover/z3高性能SMT求解器，用于自动定理证明、约束求解和程序验证。支持多种理论和语言绑定，用于形式化分析。
static-analysiscryptographybinary-analysis+2
opennhp/opennhp一个轻量级、以密码学为驱动、开源的工具包，旨在为AI驱动世界中的基础设施、应用和数据实施零信任安全。
bitcoin/bitcoin完整的比特币节点客户端，在点对点网络上验证交易和区块，集成了钱包、加密安全功能，并提供可选的图形用户界面，用于去中心化加密货币管理。
reloading01/certstream-server-rust用 Rust 编写的高性能证书透明度（CT）监控工具。实时流式获取 CT 日志中新签发的 SSL/TLS 证书。certstream-server 的 Rust 实现，具有更优的性能和内存效率。
coroner/cryptolyzer多协议密码分析器，可审计 TLS、SSL、SSH、IKE、DNSSEC 和 HTTP 安全头。检测 400 多种密码套件，生成 JA3/HASSH 指纹，并通过 CLI 和 Python API 识别 DROWN 和 Terrapin 等漏洞。
pyca/cryptographycryptography 是一个旨在向 Python 开发者提供加密原语和加密配方的软件包。
secure-systems-lab/securesystemslib用于纽约大学安全系统实验室项目的加密及通用例程
owasp/cheatsheetseriesOWASP 速查表系列旨在针对特定的应用安全主题，提供一份简明扼要的高价值信息集合。
rfidresearchgroup/proxmark3硬件工具，用于RFID分析、模拟和渗透测试。支持125kHz、13.56MHz协议（MIFARE、iClass、ISO14443/15693），具备密钥恢复、嗅探和脚本功能，适用于安全研究。
ljagiello/ctf-skillsAgent skills for solving CTF challenges - web exploitation, binary pwn, crypto, reverse engineering, forensics, OSINT, and more
infisical/infisicalInfisical 是用于密钥、证书和特权访问管理的开源平台。
hashcat/hashcatWorld's fastest and most advanced password recovery utility
getsops/sops简单灵活的机密管理工具
certifi/python-certifi（Python 发行版）精心整理的根证书集合，用于在验证 TLS 主机身份时校验 SSL 证书的可信度。