欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
emqttd: Erlang MQTT Broker, MIT license.
Erlang MQTT消息服务器
Erlang语言开发的支持集群和大规模连接的开源MQTT消息服务器
20万+并发连接, 2K+连接请求/秒, 20万+Topic订阅, 2万+消息/秒, 20Mbps In/Out流量, 只需8G Memory, 40%CPU/Core
emqttd
