pam

访问和保护所有基础设施的最简便且最安全的方式。

生产就级的全栈但简洁的邮件服务器（支持SMTP、IMAP、LDAP、反垃圾邮件、防病毒等功能），运行于容器内部。

BillionMail 为您提供开源邮件服务器、新闻通讯、邮件营销——完全自托管、对开发者友好，且无需月费。加入 Discord：https://discord.gg/asfXzBUhZr

全球最先进的数据库开发安全运维一体化解决方案，面向开发、安全、DBA 和平台工程团队。数据库开发安全运维领域的 GitHub/GitLab。

mailcow：容器化部署 - 🐮 + 🐋 = 💕

一套用于ESP32的WiFi/蓝牙攻防工具套件

完全透明的 SSH/HTTPS/MySQL/Postgres 堡垒机/PAM 系统，无需额外客户端软件

面向现代网络的隐私优先、自托管验证码解决方案。

ESP32DIV 是一款基于ESP32的多功能无线攻防工具包

MirageOS 是一个构建单内核的库操作系统

phpipam 项目开发仓库

可组合的OCaml构建系统

tirreno 是一个开源安全框架，为任何应用程序提供事件追踪、威胁检测与风险评分功能。

opam 是一款基于源码的包管理器，支持同时安装多个编译器、灵活的包约束以及适合 Git 的开发工作流。

按不同仓库组织的所有Rocq和Coq相关opam包存档