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

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

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

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

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

Kotlin 团队打造的 Web 框架，可用于创建异步、高性能和轻量级的 Web 服务器，并使用 Kotlin 惯用的 API 构建非阻塞的多平台 Web 客户端。

Kotlin 团队打造的 Web 框架，可用于创建异步、高性能和轻量级的 Web 服务器，并使用 Kotlin 惯用的 API 构建非阻塞的多平台 Web 客户端。

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

linux开源服务器监控解决方案，微服务架构，支持内存，cpu，磁盘，网络流量，系统负载，进程应用等系统指标监控，数据监控，心跳检测

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