欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
EMQ
来自开放百科 - 灰狐
(重定向自Emqttd)
EMQ: Erlang MQTT Broker, Apache v2 license.
目录 |
简介
Erlang MQTT 消息服务器
EMQ X 是一款开源,高度可伸缩,高可用的分布式 MQTT 消息服务器,适用于 IoT、M2M 和移动应用程序,可处理千万级别的并发客户端。
EMQ = MQTT(A Protocol for IoT) + Erlang(High Concurrency & Soft-Realtime), Aiming at IoT
Erlang 语言开发的支持集群和大规模连接的开源MQTT消息服务器。
功能
指南
项目
用户
文档
图集
链接
分享您的观点