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
- Erlang Services Platform☆88Updated 12 years ago
- Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)☆11Updated 3 years ago
- An Erlang implementation of the Secure Scuttlebutt protocol☆18Updated 5 years ago
- A lean portable Erlang, no BEAM☆52Updated 11 years ago
- LAN discovery and presence in Erlang.☆39Updated 10 years ago
- Micro benchmarking Erlang library☆19Updated 4 years ago
- Lens implementation in Erlang☆67Updated 9 years ago
- fuse for erlang (rebarified version)☆24Updated 2 years ago
- Wrappers for QuickCheck and PropEr testing tools☆21Updated 8 years ago
- A Causal-Consistent Debugger for (Core) Erlang☆18Updated 3 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- Generic abstraction for building dataflow computations.☆16Updated 7 years ago
- An Erlang extension which adds HTML tags to the expression syntax.☆19Updated 5 years ago
- Erlang convenience wrapper around git executable☆27Updated 8 years ago
- A rebar plugin to specify path dependencies.☆22Updated 8 months ago
- Interface for implementing Gossip Protocols in Erlang☆22Updated 12 years ago
- Generational Cache on top of Shards☆12Updated 8 years ago
- A side-effect analyzer for Erlang☆45Updated 4 years ago
- Erlang Network Monitor☆11Updated 9 years ago
- Lazy iterables in erlang☆12Updated 8 years ago
- B-trees in Erlang☆13Updated 4 years ago
- Reference implementation of a Cauterize generator for Erlang.☆9Updated 8 years ago
- Binary functions for Erlang (trim, reverse, bxor, band)☆19Updated 8 years ago
- An Eventual Leader Election Library for Erlang☆36Updated 4 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- An Erlang implementation of the Axolotl ratcheting forward secrecy protocol that works in synchronous and asynchronous messaging environm…☆18Updated 5 years ago
- Pure Erlang PostgreSQL driver☆19Updated last month