Pinned Repositories
adpreplic
Implementation of the Adaptive Replication
antidote-fs
A file system backed by AntidoteDB.
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.
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.
Divergence
isabelle_crdt_verification
SwiftCloud
SyncFree's Repositories
SyncFree/SwiftCloud
SyncFree/antidote-fs
A file system backed by AntidoteDB.
SyncFree/crdtdb
The very basic database we make in the riak core tutorial
SyncFree/delta-enabled-crdts
Reference implementations of state-based CRDTs that offer deltas for all mutations.
SyncFree/isabelle_crdt_verification
SyncFree/antidote_db
SyncFree/basho_bench
A load-generation and testing tool for basically whatever you can write a returning Erlang function for.
SyncFree/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.
SyncFree/Divergence
SyncFree/adpreplic
Implementation of the Adaptive Replication
SyncFree/Indigo
SyncFree/socialapp
SyncFree/WP1
Application and environment requirements.
SyncFree/CRDTDSS
Distribution layer for a CRDT-like programming model
SyncFree/DerflowDis
Derflow
SyncFree/FMKe
FMK Application prototype for the SyncFree Consortium
SyncFree/wallet
SyncFree/WP5
Experimental evaluations
SyncFree/antidote_utils
SyncFree/AdaptiveReplicationTool
SyncFree/antidote_pb_fork
SyncFree/eleveldb
Erlang LevelDB API
SyncFree/lasp
Prototype implementation of Lasp in Erlang.
SyncFree/phoenix5k
PSAR
SyncFree/proto-boundedcounter
Bounded Counter Implementation
SyncFree/rebar_riak_core
rebar create template=riak_core appid=myapp
SyncFree/replication-benchmarker
SyncFree/riak_pb
Riak Protocol Buffers Messages
SyncFree/riak_test
I'm in your cluster, testing your riaks
SyncFree/syncfree.github.io