Real-time channels
Define channels with typed callbacks and pattern-matched topics. Join, leave, and broadcast with compile-time guarantees on socket state.
beryl
Type-safe real-time channels and presence for Gleam, targeting the Erlang (BEAM) runtime.
Where to start
Section titled “Where to start” Quick Start Build your first channel end-to-end: server callbacks, WebSocket transport, and a Phoenix JS client.
Examples Three runnable demos — collaborative cursors, multi-room chat, and CRDT documents — showing the full beryl feature set.
Concepts Understand channels, presence, PubSub, and how they fit together on the BEAM.
API docs Generated API reference for all public beryl modules.
Features
Section titled “Features”Presence tracking
Track who's online with a CRDT-backed presence system. Add-wins observed-remove set resolves conflicts automatically across distributed nodes.
PubSub on OTP
Distributed publish/subscribe powered by Erlang's pg process groups. Works across cluster nodes with zero configuration.
Phoenix-compatible wire protocol
JSON array wire format compatible with Phoenix client libraries. First-class WebSocket support via Mist integration.