Grow your team on GitHub
GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.Sign up
SyncFree Reference Platform
Riak Protocol Buffers Messages
A load-generation and testing tool for basically whatever you can write a returning Erlang function for.
A java client for antidote db.
CRDT implementations to use with Antidote
A file system backed by Antidote.
Erlang client for Antidote
FMK Application prototype for the SyncFree Consortium
The CISE logic is able to prove that some distributed program is safe, in the sense that it maintains some application invariant of interest.
A small app built on antidote's java client library
Erlang LevelDB API
Prototype implementation of Lasp in Erlang.
I'm in your cluster, testing your riaks
Implementation of the Adaptive Replication
Bounded Counter Implementation
Reference implementations of state-based CRDTs that offer deltas for all mutations.
Application and environment requirements.