syncfree Goto Github PK

adaptivereplicationtool

adpreplic

Implementation of the Adaptive Replication

antidote-fs

A file system backed by AntidoteDB.

antidote_db

antidote_pb_fork

antidote_utils

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.

crdtdb

The very basic database we make in the riak core tutorial

crdtdss

Distribution layer for a CRDT-like programming model

delta-enabled-crdts

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

derflowdis

Derflow

divergence

eleveldb

Erlang LevelDB API

fmke

FMK Application prototype for the SyncFree Consortium

indigo

isabelle_crdt_verification

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

socialapp

swiftcloud

syncfree.github.io

wallet

wp1

Application and environment requirements.

wp5

Experimental evaluations