SyncFree

antidote-fs Public archive

A file system backed by AntidoteDB.

Java 130 1 4 Updated Jun 10, 2021

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

C++ 10Apache-2.0 37 0 1 Updated Jun 16, 2019

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

Erlang 4Apache-2.0 209 0 1 Updated Feb 12, 2019

riak_pb Public Forked from basho/riak_pb

Riak Protocol Buffers Messages

Erlang0 Apache-2.0 116 0 0 Updated Sep 12, 2018

HTML0 0 0 0 Updated Sep 11, 2018

FMK Application prototype for the SyncFree Consortium

Erlang 1 8 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

4 1 0 1 Updated Jul 23, 2017

Erlang LevelDB API

C++0 179 0 1 Updated Jul 2, 2017

Erlang0 0 1 1 Updated Nov 18, 2016

Provide feedback