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:
- Generic setup utility for Erlang-based systems☆70Updated 2 weeks ago
- A side-effect analyzer for Erlang☆45Updated 4 years ago
- Mix in functions from other modules☆64Updated 3 years ago
- A metaprogramming library for Erlang.☆17Updated 2 years ago
- A library that simplifies working with the Erlang abstract format.☆41Updated 2 years ago
- JSON instances generation and validation from JSON Schema and other JSON data descriptions☆39Updated 7 years ago
- Simple Erlang Key/Value framework☆30Updated 10 years ago
- Metaprogramming in Erlang☆77Updated 9 years ago
- Futures implemented in Erlang☆58Updated 11 years ago
- Generic cowboy handlers to work with Sumo☆59Updated 7 years ago
- Generic Zipper implementation in Erlang☆38Updated last year
- Generate documentation for Erlang projects in the format of erldocs.com☆58Updated 4 years ago
- Visual Erlang development☆37Updated 7 years ago
- Format Erlang code using Emacs' erlang-mode☆45Updated last year
- A VSCode extension for Erlang that uses a language server.☆15Updated 2 years ago
- Erlang distribution as HTTP protocol upgrade