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

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

OpenELB 是一种开源负载均衡器实现，旨在在裸机、边缘和虚拟化环境中公开 LoadBlancer 类型的 Kubernetes 服务。

bRPC是用c++语言编写的工业级RPC框架，常用于搜索、存储、机器学习、广告、推荐等高性能系统。

bRPC是用c++语言编写的工业级RPC框架，常用于搜索、存储、机器学习、广告、推荐等高性能系统。

Cilium 是开源软件，用于透明地保护使用 Linux 容器管理平台（如 Docker 和 Kubernetes）部署的应用程序服务之间的网络连接。

VuePress，Vue 驱动的静态网站生成器，具有简洁、高性能等特点。

Apache Traffic Server (ATS) ，一款高性能、可扩展的 HTTP 反向代理和缓存服务器。

Kubernetes，用于自动部署，扩展和管理容器化应用程序的开源系统。

Kubernetes，用于自动部署，扩展和管理容器化应用程序的开源系统。