Erlang/OTP

Yaws webserver

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

Hacks to add shell history to Erlang's shell

An Erlang library application which implements the Raft consensus protocol

Parse transform for type based validation.

The McErlang model checker for Erlang