pviotti / conver-oldLinks
[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
☆18Updated 9 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 14 years ago
- Generic abstraction for building dataflow computations.☆16Updated 7 years ago
- An Erlang library wrapping AES-GCM (AEAD) crypto in a Fernet-like interface☆29Updated 4 years ago
- Wrappers for QuickCheck and PropEr testing tools☆21Updated 8 years ago
- A plugin to send commands to a running rebar3 shell☆10Updated 9 years ago
- hlc - Hybrid Logical Clock in Erlang.☆25Updated 9 years ago
- Streams in Erlang☆50Updated 9 years ago
- A Skew Binomial Heap for Erlang.☆15Updated 14 years ago
- A consistent hashing library in Erlang.☆32Updated 9 years ago
- Erlang Declarative Debugger☆20Updated 5 years ago
- JSON instances generation and validation from JSON Schema and other JSON data descriptions☆39Updated 8 years ago
- ☆31Updated 3 years ago
- Sequential Binding Parse Transformation for Erlang☆69Updated 7 years ago
- Erlang lazy lists library.☆39Updated 8 years ago
- A metaprogramming library for Erlang.☆17Updated 2 years ago
- Lazy sequences for Erlang☆18Updated 14 years ago
- Watches for .erl & .hrl changes, recompiles and reloads. You know, for development.☆25Updated 5 years ago
- Ordered fixed-size binary dictionary in Erlang☆61Updated 9 years ago
- A quest for a "standard" Erlang library with uniform, composable abstractions.☆18Updated 5 years ago
- Tansu distributed key/value and lock store☆22Updated 9 years ago
- Lens implementation in Erlang☆67Updated 9 years ago
- Common Test hooks for more readable logs☆49Updated 7 months ago
- Erlang wrapper for xxHash.☆29Updated last year
- source of the little riak core book☆33Updated 7 years ago
- A direct-to-syslog logger over udp for Erlang☆11Updated 5 years ago
- Binary patten matching style syntax for erlang function guards☆17Updated 10 years ago
- Prototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.☆140Updated 6 years ago
- An Eventual Leader Election Library for Erlang☆36Updated 5 years ago
- Visual Erlang profiler☆46Updated 4 years ago
- Micro benchmarking Erlang library☆19Updated 4 years ago