fredlund / McErlangLinks
The McErlang model checker for Erlang
☆65Updated 9 years ago
Alternatives and similar repositories for McErlang
Users that are interested in McErlang are comparing it to the libraries listed below
Sorting:
- Format Erlang code using Emacs' erlang-mode☆45Updated 3 weeks ago
- A side-effect analyzer for Erlang☆45Updated 4 years ago
- Generic cowboy handlers to work with Sumo☆59Updated 7 years ago
- Generic setup utility for Erlang-based systems☆70Updated 2 months ago
- A library that simplifies working with the Erlang abstract format.☆41Updated 2 years ago
- Visual Erlang development☆37Updated 7 years ago
- Parse transform for type based validation.☆118Updated 12 years ago
- High-Performance Erlang StatsD Client☆101Updated 2 years ago
- Automatically format Erlang code.☆48Updated 5 years ago
- A couple of improvements over Cowboy Routes☆71Updated last year
- Quick Erlang Random Number Generation☆42Updated last year
- Futures implemented in Erlang☆58Updated 12 years ago
- A Streaming Process-based Skeleton Library for Erlang☆158Updated 3 months ago
- Create graphs of Erlang systems and programs☆91Updated 2 years ago
- Because eunit's output sucks. Let's make it better.☆71Updated 3 months ago
- Metaprogramming in Erlang☆78Updated 10 years ago
- JSON instances generation and validation from JSON Schema and other JSON data descriptions☆39Updated 8 years ago
- Common Test hooks for more readable logs☆49Updated 5 months ago
- Experimental library to bring pipe and maybe operator equivalents in Erlang☆94Updated 2 years ago
- Visual Erlang profiler☆46Updated 3 years ago
- JavaErlang is a library that attempts to facilitate the communication between Java and Erlang nodes, implemented as an additional layer o…☆77Updated 5 months ago
- Mix in functions from other modules☆64Updated 3 years ago
- Wrapper around Erlang ssh module to make it easier to add an sshd to any node☆33Updated 9 years ago
- Erlang lazy lists library.☆39Updated 8 years ago
- A simple non intrusive resource pool for connections☆73Updated 7 years ago
- A behaviour/support library for writing plain Erlang FSMs.☆87Updated 2 months ago
- pure functional and generic programming for Erlang☆125Updated last month
- A rebar3 template for riak_core applications☆28Updated 6 years ago
- Erlang Trie Implementation☆131Updated 2 months ago
- Run PropEr test suites with rebar3☆40Updated last year