pviotti / conver-old
[discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.
☆18Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for conver-old
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- Erlang lazy lists library.☆39Updated 7 years ago
- source of the little riak core book☆33Updated 6 years ago
- Tansu distributed key/value and lock store☆23Updated 8 years ago
- hlc - Hybrid Logical Clock in Erlang.☆25Updated 8 years ago
- A plugin to send commands to a running rebar3 shell☆10Updated 8 years ago
- What's an ensemble of leaders? A riak_governor.☆10Updated 9 years ago
- Wrappers for QuickCheck and PropEr testing tools☆21Updated 7 years ago
- Interface for implementing Gossip Protocols in Erlang☆22Updated 11 years ago
- A Skew Binomial Heap for Erlang.☆15Updated 13 years ago
- Common Test hooks for more readable logs☆49Updated 8 months ago
- Generic abstraction for building dataflow computations.☆16Updated 7 years ago
- ☆31Updated 2 years ago
- Ordered fixed-size binary dictionary in Erlang☆61Updated 8 years ago
- An Eventual Leader Election Library for Erlang☆36Updated 4 years ago
- A vectorclock library for Erlang.☆14Updated 2 years ago
- Visual Erlang profiler☆46Updated 3 years ago
- A side-effect analyzer for Erlang☆45Updated 3 years ago
- Lowest Random Weight hashing for neatly rebalancing hashes☆45Updated 6 years ago
- ☆19Updated 9 years ago
- Scalable reliable delivery protocol for Lasp.☆22Updated 3 years ago
- Watches for .erl & .hrl changes, recompiles and reloads. You know, for development.☆24Updated 4 years ago
- More functional Erlang☆10Updated 8 years ago
- A quest for a "standard" Erlang library with uniform, composable abstractions.☆18Updated 4 years ago
- Erlang Declarative Debugger☆20Updated 4 years ago
- Erlang implementation of strftime☆13Updated 8 years ago
- An Erlang library wrapping AES-GCM (AEAD) crypto in a Fernet-like interface☆29Updated 3 years ago
- Tool for running tests on a cluster of erlang nodes☆18Updated 5 years ago
- A command-line utility for formatting Erlang code.☆22Updated 8 years ago
- rough code for running consensus☆18Updated 2 years ago