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:
- A side-effect analyzer for Erlang☆45Updated 4 years ago
- A library that simplifies working with the Erlang abstract format.☆41Updated 2 years ago
- Parse transform for type based validation.☆118Updated 12 years ago
- Experimental library to bring pipe and maybe operator equivalents in Erlang☆93Updated 2 years ago
- Futures implemented in Erlang☆57Updated 12 years ago
- Generic setup utility for Erlang-based systems☆70Updated 3 months ago
- Wrangler -- An Erlang Refactorer☆163Updated 7 months ago
- Automatically format Erlang code.☆48Updated 6 years ago
- A couple of improvements over Cowboy Routes☆71Updated last year
- High-Performance Erlang StatsD Client☆100Updated 2 years ago
- Generic cowboy handlers to work with Sumo☆59Updated 7 years ago
- Format Erlang code using Emacs' erlang-mode☆45Updated last month
- Because eunit's output sucks. Let's make it better.☆71Updated 4 months ago
- A Streaming Process-based Skeleton Library for Erlang☆158Updated 4 months ago
- Create graphs of Erlang systems and programs☆91Updated 2 years ago
- A scalable, deadlock-resolving resource locker☆205Updated last year
- Erlang lazy lists library.☆39Updated 8 years ago
- A rebar3 port compiler☆66Updated 10 months ago
- Quick Erlang Random Number Generation☆42Updated 2 weeks ago
- Metaprogramming in Erlang☆77Updated 10 years ago
- Generic gen_server for unified service behaviour☆48Updated 9 years ago
- This repository is no longer actively maintained, please see☆134Updated 9 years ago
- Version-incrementing, appup-generating, relx-coaxing, workflow-assistant for Erlang projects using rebar3.☆92Updated 7 years ago
- Visual Erlang development☆37Updated 7 years ago
- Protocol Buffers, JSON, XML data serialization system for Erlang☆68Updated 3 months ago
- Postgres backend to Mnesia via mnesia_ext☆39Updated 9 years ago
- Erlang Docs in the Shell predating EEP-48 and shell_docs☆120Updated last year
- A behaviour/support library for writing plain Erlang FSMs.☆87Updated 3 months ago
- Erlang Trie Implementation☆131Updated 3 months ago
- Common Test hooks for more readable logs☆49Updated 6 months ago