Repository Index

A distributed MQTT message broker based on Erlang/OTP. Built for high quality & Industrial use cases. The VerneMQ mission is active & the project maintained. Thank you for your support!

• mqtt
• m2m
• scalable
• broker

Concuerror is a stateless model checking tool for Erlang programs.

• concuerror
• erlang
• systematic-testing
• testing

Strategies For Automatic Node Discovery

• erlang
• distributed-erlang
• aws
• aws-ec2

Rebar3 plugin to auto compile and reload on file change.