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

kops（Kubernetes Operations）用于创建、升级和管理生产级、高可用的 Kubernetes 集群，是建立并运行生产级 Kubernetes 集群的最简单方法。

Vearch 是一个云原生分布式向量数据库，用于在 AI 应用程序中对向量进行高效的相似性搜索。

Antrea 是一个 Kubernetes 网络解决方案，旨在实现 Kubernetes 原生。它使用 Open vSwitch 作为网络数据平面，在 Layer3/4 上运行，从而为 Kubernetes 集群提供网络和安全服务。

Django是一个开放源代码的Web应用框架，由Python写成。采用了MVT的软件设计模式，即模型Model，视图View和模板Template。

kops（Kubernetes Operations）用于创建、升级和管理生产级、高可用的 Kubernetes 集群，是建立并运行生产级 Kubernetes 集群的最简单方法。

Longhorn 是一个开源的分布式块存储系统，由 Rancher Labs 公司开发。它是基于 Kubernetes 构建的，可以与 Kubernetes 紧密集成。Longhorn 通过构建一个复制的块设备来存储数据，并提供了快照、恢复、备份等功能，以确保数据的可靠性和完整性。Longhorn 还支持动态卷扩展和自动迁移，以便在需要时自动调整存储容量和性...

Calico 是一种广泛采用、久经考验的开源网络和网络安全解决方案，适用于 Kubernetes、虚拟机和裸机工作负载。

rqlite，一个使用Go语言开发的轻量级的分布式数据库，它使用SQLite作为后端存储引擎，可以通过HTTP API进行访问，具有高可用性和可扩展性。

Rainbond 是一个云原生应用管理平台，使用简单，不需要懂容器、Kubernetes和底层复杂技术，支持管理多个Kubernetes集群，和管理企业应用全生命周期。主要功能包括应用开发环境、应用市场、微服务架构、应用交付、应用运维、应用级多云管理等。