SyncFree

SwiftCloud

antidote-fs

A file system backed by AntidoteDB.

crdtdb

The very basic database we make in the riak core tutorial

delta-enabled-crdts

Reference implementations of state-based CRDTs that offer deltas for all mutations.

isabelle_crdt_verification

antidote_db

basho_bench

A load-generation and testing tool for basically whatever you can write a returning Erlang function for.

CISE

The CISE logic is able to prove that some distributed program is safe, in the sense that it maintains some application invariant of interest.

Divergence

adpreplic

Implementation of the Adaptive Replication

Indigo

socialapp

WP1

Application and environment requirements.

CRDTDSS

Distribution layer for a CRDT-like programming model

DerflowDis

Derflow

FMKe

FMK Application prototype for the SyncFree Consortium

wallet

WP5

Experimental evaluations

antidote_utils

AdaptiveReplicationTool

antidote_pb_fork

eleveldb

Erlang LevelDB API

lasp

Prototype implementation of Lasp in Erlang.

phoenix5k

PSAR

proto-boundedcounter

Bounded Counter Implementation

rebar_riak_core

rebar create template=riak_core appid=myapp

replication-benchmarker

riak_pb

Riak Protocol Buffers Messages

riak_test

I'm in your cluster, testing your riaks

syncfree.github.io