mistupv / rev-erlangLinks
An implementation of the reversible semantics for Erlang.
☆13Updated 7 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
- Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)☆11Updated 3 years ago
- BEAM emulator written in Erlang☆48Updated 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
- Generic abstraction for building dataflow computations.☆16Updated 7 years ago
- A Skew Binomial Heap for Erlang.☆15Updated 14 years ago
- Wrappers for QuickCheck and PropEr testing tools☆21Updated 8 years ago
- SecEr: Erlang Code Evolution Control Tool☆12Updated 3 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- collection of hash functions for Erlang applications☆12Updated 7 years ago
- ☆15Updated 10 years ago
- an experimental programming language for the erlang vm that is actually useful☆29Updated 5 years ago
- An Erlang extension which adds HTML tags to the expression syntax.☆19Updated 6 years ago
- Binary patten matching style syntax for erlang function guards☆17Updated 10 years ago
- A side-effect analyzer for Erlang☆45Updated 4 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- fuse for erlang (rebarified version)☆24Updated 2 years ago
- Erlang convenience wrapper around git executable☆27Updated 8 years ago
- Erlang Design by Contract☆24Updated 7 years ago
- Cutting the Gordian knot of blocking calls between OTP processes☆18Updated 6 years ago
- common runtime environment for distributed programming languages☆22Updated 6 months ago
- ☆17Updated 4 years ago
- An Erlang library wrapping AES-GCM (AEAD) crypto in a Fernet-like interface☆29Updated 4 years ago
- Supervised Session Actors☆22Updated 9 years ago
- Erlang ⇔ QML bindings☆17Updated 11 years ago
- A lean portable Erlang, no BEAM☆52Updated 11 years ago
- A Causal-Consistent Debugger for (Core) Erlang☆18Updated 4 years ago
- Erlang lazy lists library.☆39Updated 8 years ago
- A metaprogramming library for Erlang.☆17Updated 2 years ago
- Provide Active-Anti-Entropy features to a virtual node in a KV store☆22Updated 3 weeks ago