Notary 是一个开源项目，用于对数字内容进行签名和验证，确保内容的完整性和来源可信。它常用于容器镜像的签名和验证，是 Docker 内容信任（DCT, Docker Content Trust）的基础组件。
SWI-Prolog 是一个开源的 Prolog 实现，广泛用于人工智能、自然语言处理和知识表示等领域。它提供了丰富的库和工具，支持多线程、网络编程和外部接口。
Kaazing Gateway 是一个企业级 WebSocket 网关，支持实时双向通信，兼容多种协议（如 HTTP、WebSocket、AMQP 等），提供安全、可扩展的实时数据流解决方案。
spiped（Secure Pipe Daemon）是一个用于创建加密管道的工具，用于在两台主机之间安全传输数据。它通过对称加密（如 AES-256）保护通信，适用于加密 TCP 连接。
alt 是一个轻量级的代理工具，支持多种协议（如 HTTP、SOCKS5），用于网络请求的转发和代理。适用于爬虫、开发测试等场景。
Rakudo Star是Raku编程语言的发行版，包含编译器、工具链和常用模块。它旨在为用户提供一个稳定的开发环境。
Hy（Hylang）是一种基于 Python 的 Lisp 方言，允许开发者使用 Lisp 语法编写代码，并编译为 Python 字节码运行。它兼容 Python 生态，可直接调用 Python 库。
Source Mage是一个基于源代码的Linux发行版，采用类似BSD Ports的包管理系统。它允许用户从源代码编译软件，提供高度定制化和优化选项。
Known 是一个开源的内容发布平台，支持博客、文章、照片、评论等功能，基于PHP和MySQL构建。
SapMachine 是 SAP 官方维护的 OpenJDK 发行版，专为 SAP 应用程序优化，提供长期支持（LTS）和定期更新。
