mistupv / rev-erlang
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
- SecEr: Erlang Code Evolution Control Tool☆12Updated 2 years ago
- Erlang Declarative Debugger☆20Updated 4 years ago
- An Erlang library pertaining to consensus democracy, including Condorcet voting☆10Updated last month
- A Causal-Consistent Debugger for (Core) Erlang☆18Updated 3 years ago
- An Erlang implementation of the Secure Scuttlebutt protocol☆18Updated 5 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- Generational Cache on top of Shards☆12Updated 8 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- A side-effect analyzer for Erlang☆45Updated 4 years ago
- An Erlang extension which adds HTML tags to the expression syntax.☆19Updated 5 years ago
- Make rpc:calls from erlang to haskell☆17Updated 10 years ago
- Binary functions for Erlang (trim, reverse, bxor, band)☆19Updated 8 years ago
- An Erlang Tuple Space implementation☆10Updated 2 months ago
- Supervised Session Actors☆22Updated 8 years ago
- BEAM emulator written in Erlang☆48Updated 2 years ago
- Git Library for Erlang☆10Updated 5 years ago
- ☆23Updated 3 years ago
- Generic abstraction for building dataflow computations.☆16Updated 7 years ago
- Interface for implementing Gossip Protocols in Erlang☆22Updated 12 years ago
- An Erlang INI parser☆21Updated 3 years ago
- An Erlang implementation of the Axolotl ratcheting forward secrecy protocol that works in synchronous and asynchronous messaging environm…☆18Updated 5 years ago
- Erlang Services Platform☆88Updated 12 years ago
- Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)☆11Updated 3 years ago
- A lean portable Erlang, no BEAM☆52Updated 11 years ago
- Lazy iterables in erlang☆12Updated 8 years ago
- fuse for erlang (rebarified version)☆24Updated 2 years ago
- Partisan / Riak Core integration suite.☆13Updated 5 years ago
- Generate bindings for gpb, Protocol Buffers for Erlang☆16Updated 10 years ago
- An Erlang OTP application for load shedding☆27Updated 9 months ago
- ☆17Updated last year