mistupv / rev-erlangLinks
An implementation of the reversible semantics for Erlang.
☆13Updated 8 years ago
Alternatives and similar repositories for rev-erlang
Users that are interested in rev-erlang are comparing it to the libraries listed below
Sorting:
- Erlang Declarative Debugger☆20Updated 5 years ago
- Generic abstraction for building dataflow computations.☆16Updated 8 years ago
- Wrappers for QuickCheck and PropEr testing tools☆21Updated 8 years ago
- Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)☆12Updated 3 years ago
- SecEr: Erlang Code Evolution Control Tool☆12Updated 3 years ago
- An Erlang implementation of the Axolotl ratcheting forward secrecy protocol that works in synchronous and asynchronous messaging environm…☆18Updated 6 years ago
- Erlang TCP/IP Stack☆20Updated 9 years ago
- ☆15Updated 10 years ago
- BEAM emulator written in Erlang☆47Updated 3 years ago
- Binary patten matching style syntax for erlang function guards☆17Updated 10 years ago
- A side-effect analyzer for Erlang☆46Updated 4 years ago
- Erlang DTrace consumer☆23Updated 8 years ago
- fuse for erlang (rebarified version)☆24Updated 2 years ago
- ☆17Updated 4 years ago
- A Skew Binomial Heap for Erlang.☆15Updated 14 years ago
- collection of hash functions for Erlang applications☆13Updated 7 years ago
- An Erlang Tuple Space implementation☆10Updated last week
- Erlang mutation testing tool☆16Updated 11 years ago
- An Erlang extension which adds HTML tags to the expression syntax.☆18Updated 6 years ago
- Simple Erlang's logger's formatters wrapper that adds colours to the messages☆15Updated 5 years ago
- common runtime environment for distributed programming languages☆22Updated 9 months ago
- Erlang ⇔ QML bindings☆17Updated 11 years ago
- A Causal-Consistent Debugger for (Core) Erlang☆18Updated 4 years ago
- Splice 2 sockets together in Erlang☆11Updated 3 years ago
- Erlang lazy lists library.☆39Updated 8 years ago
- The guards `in` and `beetween` for Erlang parse_transform☆43Updated 13 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- an experimental programming language for the erlang vm that is actually useful☆29Updated 6 years ago
- ☆10Updated 3 years ago
- Math expression parser and evaluator☆23Updated 7 years ago