erszcz/erlang-type-checker-comparison

Stars
1
Language
Elixir
Created over 2 years ago
Updated over 1 year ago

erszcz/erlang-type-checker-comparison

erszcz

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Comparison of Erlang type checkers: Dialyzer, ETC, and Gradualizer

docsh

Erlang Docs in the Shell predating EEP-48 and shell_docs

erlang-rust-nif

An example Erlang NIF implemented in Rust

euc-2014

Introduction to Load Testing with Tsung for Erlang User Conference 2014

pa

Partial application of Erlang functions

learning

Random scraps using different languages and tools saved in case of some disaster

ejabberd-trace

Easy tracing of users connected to ejabberd

erlang-and-rust-teaser

What's Rust good at and how to tap into it from Erlang? Erlang NIFs in Rust

tsung-scenarios

mlp

MongooseIM log processor

mongooseim-docker

Setup a MongooseIM cluster with containerized members

conds

Check whether _and why_ compound conditional expressions (do not) hold

edoc

EEP-48 doc chunk implementation for Erlang/OTP - merged upstream for OTP 24.0!

dotfiles

ecg

Generate a GraphViz .dot file describing an Erlang module call graph

carbonizer

Push data to Carbon/Graphite in Erlang

tapl-erlang

docsh-example

DEFUNCT: docsh doesn't provide a rebar3 plugin anymore! Minimal working example of using docsh (https://github.com/erszcz/docsh)

advanced-erlang-techniques

Some exercises inspired by the Advanced Erlang Techniques training with Robert Virding

jsjac-simpleclient-pg

PhoneGap Build-ready package of JS Jabber Client example client

protocols

dcsp

Distributed Constraint Satisfaction Problem Simulation

timebomb

Simple systray on/off toggle for tracking time spent on a task

mim-jit-loadtest

rust-xv6-sh

Rewrite of xv6 sh in Rust

blog

Raw dump of my notes from https://medium.com/@erszcz

plug-open-api-example

graph_draw

Git backup of a diagram drawing tool by Hans Nilsson

callgraph

Trace local function calls in C programs

esl-sandbox-gutenberg-generator

kerl-docker

A container with Erlang installed via Kerl - intended as a base/dev image

ssldump_demuxer

Quick and dirty hack to convert an ssldump file with mixed records from multiple connections to multiple files each with records from a single connection.

rxml

Experimental fork of esl/exml to get rid of C and use Rust / RustyXML

exi

EXI processing in Erlang, EXIP library wrapper

hack-erlang-vm

typed-gen-server-experiment

How far we can push typing the untypable?

rebar-deps-gutenberg-generator

Generate rebar.config with just the deps section

tracer

Erlang dbg:tracer/0 drop-in replacement

exercism

My solutions to tasks from exercism.io

calendlex

"Building a simple Calendly clone" with Phoenix 1.7.11

monorepo-example

Example Elixir umbrella project with releases built as independent container images