Kuma 是一个现代的通用服务网格控制平面。Kuma 基于 Envoy 搭建；Envoy 是一个为云原生应用设计的强大的代理软件。

KubeVirt ，Kubernetes 虚拟化 API 和运行时，用于定义和管理虚拟机。 KubeVirt is a virtual machine management add-on for Kubernetes. The aim is to provide a common ground for virtualization solutions on ...

Istio 是一个由谷歌、IBM 与 Lyft 共同开发的开源项目，旨在提供一种统一化的微服务连接、安全保障、管理与监控方式。

1Panel ，一个现代化、开源的 Linux 服务器运维管理面板。

1Panel ，一个现代化、开源的 Linux 服务器运维管理面板。

Agda，一种依赖类型编程语言/交互式定理证明器。

Agda，一种依赖类型编程语言/交互式定理证明器。

awk是处理文本文件的一个应用程序，几乎所有 Linux 系统都自带这个程序。

AnythingLLM 是一个全功能的桌面和 Docker AI 应用程序，具备完整的 RAG 和 AI 代理能力。

Apache ActiveMQ 是最流行的开源、多协议、基于 Java 的消息代理。