The most scalable and reliable MQTT broker for AI, IoT, IIoT and connected vehicles

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!

Lisp Flavoured Erlang (LFE)

Tiny Erlang VM

MongooseIM is Erlang Solutions' robust, scalable and efficient XMPP server, aimed at large installations. Specifically designed for enterprise purposes, it is fault-tolerant and can utilise the res…

Clojure for the Erlang VM (unofficial)

Lua in Erlang

Extended process registry for Erlang

æternity blockchain - scalable blockchain for the people - smart contracts, state channels, names, tokens

A Multi-Raft implementation for Erlang and Elixir that strives to be efficient and make it easier to use multiple Raft clusters in a single system.

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

A planet scale, highly available, transactional database built on CRDT technology

Wings3D is an advanced sub-division 3D modeller.

Running Elixir in the browser

Tool for developers working with systems running on the Erlang VM (BEAM). It helps with performance analysis.

Khepri is a tree-like replicated on-disk database library for Erlang and Elixir.

Erlang PostgreSQL client library.

Utilities to manipulate Elixir source code

Concuerror is a stateless model checking tool for Erlang programs.

Job scheduler for load regulation

Erlang Patterns of Concurrency

QUIC protocol for Erlang & Elixir

OpenId Connect client library in Erlang & Elixir

Erlang Oauth2 implementation

[UNMAINTAINED] Universal Binary Format 2.2

Erlang general non-blocking TCP/SSL socket server

Pure Erlang implementation of ZeroMQ Message Transport Protocol.

Erlang bindings for NaCl / libsodium

Epidemic Broadcast Trees

Multi-Paxos framework in Erlang