typer

Erlang/OTP code type annotator

Install

All systems
curl cmd.cat/typer.sh
Debian Debian
apt-get install erlang-typer
Ubuntu
apt-get install erlang-typer
Alpine
apk add erlang-typer
Arch Arch Linux
pacman -S erlang-typer
image/svg+xml Kali Linux
apt-get install erlang-typer
Fedora
dnf install erlang-typer
Windows (WSL2)
sudo apt-get update sudo apt-get install erlang-typer
Raspbian
apt-get install erlang-typer
Dockerfile
dockerfile.run/typer
Docker
docker run cmd.cat/typer typer powered by Commando

erlang-typer

Erlang/OTP code type annotator

TypEr is a tool that displays and automatically inserts type annotations in Erlang code. It uses Dialyzer to infer variable types.

erlang-dbg

Erlang/OTP symbol files

The files containing debug symbols for binaries and libraries in Erlang to help in debugging applications build with them. You will not normally need to install this package.

erlang-base

Erlang/OTP virtual machine and base applications

This package contains the Erlang/OTP runtime implementation, which is configured and built without HiPE support (compiles to byte-code only), and minimal set of Erlang applications: compiler - compiles Erlang code to byte-code; erts - the Erlang runtime system application; kernel - code necessary to run the Erlang runtime system itself; ose - code for Enea OSE operating system; sasl - the system architecture support libraries application; stdlib - modules for manipulating lists, strings, files etc.

erlang-base-hipe

Erlang/OTP HiPE enabled virtual machine and base applications

This package contains the Erlang/OTP runtime implementation, which is configured and built with HiPE support (allows compiling to native code), and minimal set of Erlang applications: compiler - compiles Erlang code to byte-code; erts - the Erlang runtime system application; kernel - code necessary to run the Erlang runtime system itself; ose - code for Enea OSE operating system; sasl - the system architecture support libraries application; stdlib - modules for manipulating lists, strings, files etc.

erlang-dialyzer

Erlang/OTP discrepancy analyzer application

Dialyzer is a static analysis tool that identifies software discrepancies such as type errors, unreachable code, unnecessary tests etc. in single Erlang modules or entire (sets of) applications.

erlang

Concurrent, real-time, distributed functional language

Open Source Erlang is a functional programming language designed at the Ericsson Computer Science Laboratory. Some of Erlang main features are: * Clear declarative syntax and is largely free from side-effects; * Built-in support for real-time, concurrent and distributed programming; * Designed for development of robust and continuously operated programs; * Dynamic code replacement at runtime. The Erlang distribution also includes OTP (Open Telecom Platform) which provides a rich set of libraries and applications. This package is a dummy package which will install Erlang/OTP runtime, applications, sources, code examples and the Erlang editing mode for Emacs.

erlang-nox

Erlang/OTP applications that don't require X Window System

This package is a dummy package which will install all Erlang/OTP applications which do not require X Window System to run.

erlang17-typer

Erlang/OTP code type annotator

TypEr is a tool that displays and automatically inserts type annotations in Erlang code. It uses Dialyzer to infer variable types. This package is the version 17 to fix couchdb in Kali-rolling. This is a temporay package. It should be removed once python-faraday doesn't need couchdb anymore.

erlang17-dbg

Erlang/OTP symbol files

The files containing debug symbols for binaries and libraries in Erlang to help in debugging applications build with them. You will not normally need to install this package. This package is the version 17 to fix couchdb in Kali-rolling. This is a temporay package. It should be removed once python-faraday doesn't need couchdb anymore.