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
- Wrappers for QuickCheck and PropEr testing tools☆21Updated 9 years ago
- Generic abstraction for building dataflow computations.☆16Updated 8 years ago
- An Erlang implementation of the Axolotl ratcheting forward secrecy protocol that works in synchronous and asynchronous messaging environm…☆18Updated 6 years ago
- Binary patten matching style syntax for erlang function guards☆17Updated 10 years ago
- A Skew Binomial Heap for Erlang.☆15Updated 14 years ago
- Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)☆12Updated 4 years ago
- SecEr: Erlang Code Evolution Control Tool☆12Updated 3 years ago
- An Erlang extension which adds HTML tags to the expression syntax.☆18Updated 6 years ago
- A direct-to-syslog logger over udp for Erlang☆11Updated 5 years ago
- ☆15Updated 11 years ago
- Erlang DTrace consumer☆23Updated 8 years ago
- A side-effect analyzer for Erlang☆46Updated 4 years ago
- Erlang TCP/IP Stack☆20Updated 9 years ago
- common runtime environment for distributed programming languages☆22Updated 11 months ago
- Cutting the Gordian knot of blocking calls between OTP processes☆18Updated 7 years ago
- An Erlang library wrapping AES-GCM (AEAD) crypto in a Fernet-like interface☆29Updated 5 years ago
- collection of hash functions for Erlang applications☆13Updated 7 years ago
- An Erlang Tuple Space implementation☆10Updated 2 months ago
- BEAM emulator written in Erlang☆47Updated 3 years ago
- Erlang flavored by Some ML☆36Updated 14 years ago
- erlqueue is a multiple writer, multiple reader bounded shared memory lock-free queue API for Erlang (through NIF) and C/C++.☆10Updated 9 years ago
- A Causal-Consistent Debugger for (Core) Erlang☆18Updated 4 years ago
- ☆17Updated 5 years ago
- An implementation of the CBOR data encoding format in Erlang.☆14Updated 4 years ago
- Lazy sequences for Erlang☆18Updated 14 years ago
- An Erlang implementation of the Secure Scuttlebutt protocol☆19Updated 6 years ago
- Splice 2 sockets together in Erlang☆11Updated 3 years ago
- Simple Erlang's logger's formatters wrapper that adds colours to the messages☆15Updated 5 years ago
- LAN discovery and presence in Erlang.☆39Updated 11 years ago