SyncFree

antidote-fs Public archive
A file system backed by AntidoteDB.

Java 10 0 1 4 Updated Jun 10, 2021
delta-enabled-crdts Public
Reference implementations of state-based CRDTs that offer deltas for all mutations.

C++ 7 Apache-2.0 35 0 1 Updated Jun 16, 2019
basho_bench Public
A load-generation and testing tool for basically whatever you can write a returning Erlang function for.

Erlang 3 Apache-2.0 202 0 1 Updated Feb 12, 2019
riak_pb Public
Riak Protocol Buffers Messages

Erlang 0 Apache-2.0 114 0 0 Updated Sep 12, 2018
syncfree.github.io Public

HTML 0 0 0 0 Updated Sep 11, 2018
FMKe Public
FMK Application prototype for the SyncFree Consortium

Erlang 0 6 0 0 Updated Dec 16, 2017
CISE Public
The CISE logic is able to prove that some distributed program is safe, in the sense that it maintains some application invariant of interest.

Java 3 3 0 0 Updated Aug 2, 2017
antidote_db Public

4 1 0 1 Updated Jul 23, 2017
eleveldb Public
Erlang LevelDB API

C++ 0 158 0 1 Updated Jul 2, 2017
antidote_utils Public

Erlang 0 0 1 1 Updated Nov 18, 2016

Pinned