fredlund / McErlang
The McErlang model checker for Erlang
☆64Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for McErlang
- A side-effect analyzer for Erlang☆45Updated 3 years ago
- Visual Erlang development☆37Updated 7 years ago
- A library that simplifies working with the Erlang abstract format.☆41Updated last year
- Generic gen_server for unified service behaviour☆48Updated 8 years ago
- Mix in functions from other modules☆64Updated 2 years ago
- Create graphs of Erlang systems and programs☆89Updated last year
- Common Test hooks for more readable logs☆49Updated 8 months ago
- Format Erlang code using Emacs' erlang-mode☆45Updated last year
- A rebar3 template for riak_core applications☆28Updated 6 years ago
- JSON instances generation and validation from JSON Schema and other JSON data descriptions☆39Updated 7 years ago
- Generic setup utility for Erlang-based systems☆70Updated 8 months ago
- EDoc extension for generating Github-flavored Markdown☆52Updated last year
- Convert fprof to callgring output☆104Updated 9 years ago
- Quick Erlang Random Number Generation☆41Updated 6 months ago
- Erlang stdlib extensions.☆69Updated 3 months ago
- Ordered fixed-size binary dictionary in Erlang☆61Updated 8 years ago
- Generic Zipper implementation in Erlang☆35Updated last year
- Run PropEr test suites with rebar3☆38Updated last year
- Erlang module to convert and send cover data to coveralls.io (or similar). Available as a hex package on https://hex.pm/packages/coverall…☆41Updated 2 years ago
- Wrapper around Erlang ssh module to make it easier to add an sshd to any node☆33Updated 8 years ago
- Generic cowboy handlers to work with Sumo☆59Updated 6 years ago
- Steamroller: An opinionated Erlang code formatter.☆46Updated 4 years ago
- Metaprogramming in Erlang☆77Updated 9 years ago
- Visual Erlang profiler☆46Updated 3 years ago
- Simple Erlang Key/Value framework☆30Updated 9 years ago
- A couple of improvements over Cowboy Routes☆71Updated 5 months ago
- Erlang Declarative Debugger☆20Updated 4 years ago
- A VSCode extension for Erlang that uses a language server.☆15Updated last year
- An Erlang node connection manager.☆26Updated 7 years ago
- A metaprogramming library for Erlang.☆16Updated last year