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

Nginx是一个高性能的HTTP和反向代理服务器，以高稳定性、丰富的功能集、示例配置文件和低系统资源的消耗而闻名。

EMQ 2.0 (Erlang/Enterprise/Elastic MQTT Broker) 是基于 Erlang/OTP 语言平台开发，支持大规模连接和分布式集群，发布订阅模式的开源 MQTT 消息服务器。

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

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

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

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

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

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

前端构建工具与前端模块加载器组合的工程化解决方案。