pviotti / conver-old
[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
☆18Updated 8 years ago
Alternatives and similar repositories for conver-old
Users that are interested in conver-old are comparing it to the libraries listed below
Sorting:
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- Ordered fixed-size binary dictionary in Erlang☆61Updated 9 years ago
- Streams in Erlang☆50Updated 9 years ago
- Lens implementation in Erlang☆67Updated 9 years ago
- ☆31Updated 3 years ago
- hlc - Hybrid Logical Clock in Erlang.☆25Updated 9 years ago
- Prototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.☆141Updated 6 years ago
- Erlang lazy lists library.☆39Updated 7 years ago
- An Eventual Leader Election Library for Erlang☆36Updated 4 years ago
- Common Test hooks for more readable logs☆49Updated 2 months ago
- An Erlang library wrapping AES-GCM (AEAD) crypto in a Fernet-like interface☆29Updated 4 years ago
- Generic abstraction for building dataflow computations.☆16Updated 7 years ago
- source of the little riak core book☆33Updated 6 years ago
- Provide Active-Anti-Entropy features to a virtual node in a KV store☆22Updated this week
- Lowest Random Weight hashing for neatly rebalancing hashes☆45Updated 7 years ago
- A logging handler that can transforms structured logs into opencensus distributed tracing spans☆25Updated 5 years ago
- Erlang distribution as HTTP protocol upgrade☆32Updated 9 years ago
- Because eunit's output sucks. Let's make it better.☆70Updated 3 weeks ago
- Tansu distributed key/value and lock store☆23Updated 8 years ago
- Erlang implementation of tagged reliable causal broadcast.☆25Updated 7 years ago
- Interface for implementing Gossip Protocols in Erlang☆22Updated 12 years ago
- A plugin to send commands to a running rebar3 shell☆10Updated 9 years ago
- A vectorclock library for Erlang.☆14Updated 2 years ago
- Melt unstructured data and cast it with structure☆18Updated 8 years ago
- rough code for running consensus☆18Updated 3 years ago
- Scalable reliable delivery protocol for Lasp.☆22Updated 3 years ago
- Visual Erlang profiler☆46Updated 3 years ago
- High-Performance Erlang Cache Compiler☆31Updated last year
- More functional Erlang☆9Updated 9 years ago
- Simple Erlang Key/Value framework☆30Updated 10 years ago