EMQ X (Erlang/Enterprise/Elastic MQTT Broker) 是基于 Erlang/OTP 平台开发的开源物联网 MQTT 消息服务器。

EMQ X (Erlang/Enterprise/Elastic MQTT Broker) 是基于 Erlang/OTP 平台开发的开源物联网 MQTT 消息服务器。

Socket.IO 是一个面向实时 web 应用的 JavaScript 库。它使得服务器和客户端之间实时双向的通信成为可能。

Socket.IO 是一个面向实时 web 应用的 JavaScript 库。它使得服务器和客户端之间实时双向的通信成为可能。

Socket.IO 是一个面向实时 web 应用的 JavaScript 库。它使得服务器和客户端之间实时双向的通信成为可能。

Trivy，容器镜像、文件系统和 Git 存储库中的漏洞以及配置问题的扫描工具。

Rancher 是非常优秀的容器管理平台，本书旨在沉淀和积累相关实战文档。本书通过 GitHub 和 GitBook 平台共同承载，并实现参与者的协作。本书使用开源社区的方式，由Rancher 用户社区合作维护。

TypeScript 是 JavaScript 的一个超集，支持 ECMAScript 6 标准。TypeScript 由微软开发的自由和开源的编程语言。TypeScript 设计目标是开发大型应用，它可以编译成纯 JavaScript，编译出来的 JavaScript 可以运行在任何浏览器上。

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

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