Repositories list

• antidote-fs

  Public archive
  A file system backed by AntidoteDB.

  filesystemcrdtdistributed-file-system

  Java

  •0•13•1•4•Updated Jun 10, 2021Jun 10, 2021

• delta-enabled-crdts

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

  C++

  •

  Apache License 2.0

  •35•10•0•1•Updated Jun 16, 2019Jun 16, 2019

• basho_bench

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

  Erlang

  •

  Apache License 2.0

  •197•4•0•1•Updated Feb 12, 2019Feb 12, 2019

• riak_pb

  Public
  Riak Protocol Buffers Messages

  Erlang

  •

  Apache License 2.0

  •115•0•0•0•Updated Sep 12, 2018Sep 12, 2018

• syncfree.github.io

  Public
  HTML

  •0•0•0•0•Updated Sep 11, 2018Sep 11, 2018

• FMKe

  Public
  FMK Application prototype for the SyncFree Consortium

  Erlang

  •

  Other

  •8•1•0•0•Updated Dec 16, 2017Dec 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, 2017Aug 2, 2017

• antidote_db

  Public
  1•4•0•1•Updated Jul 23, 2017Jul 23, 2017

• eleveldb

  Public
  Erlang LevelDB API

  C++

  •177•0•0•1•Updated Jul 2, 2017Jul 2, 2017

• antidote_utils

  Public
  Erlang

  •0•0•1•1•Updated Nov 18, 2016Nov 18, 2016

• antidote_pb_fork

  Public
  Erlang

  •4•0•0•0•Updated Oct 18, 2016Oct 18, 2016

• Divergence

  Public
  Java

  •0•3•12•0•Updated Sep 19, 2016Sep 19, 2016

• lasp

  Public
  Prototype implementation of Lasp in Erlang.

  Erlang

  •

  Apache License 2.0

  •72•0•0•0•Updated Jul 12, 2016Jul 12, 2016

• phoenix5k

  Public
  PSAR

  Ruby

  •

  MIT License

  •1•0•0•0•Updated Apr 21, 2016Apr 21, 2016

• riak_test

  Public
  I'm in your cluster, testing your riaks

  Erlang

  •72•0•0•0•Updated Feb 1, 2016Feb 1, 2016

• adpreplic

  Public
  Implementation of the Adaptive Replication

  Erlang

  •1•2•1•1•Updated Jan 21, 2016Jan 21, 2016

• wallet

  Public
  Erlang

  •1•1•0•0•Updated Jan 6, 2016Jan 6, 2016

• SwiftCloud

  Public
  Java

  •

  Apache License 2.0

  •7•27•0•0•Updated Dec 10, 2015Dec 10, 2015

• proto-boundedcounter

  Public
  Bounded Counter Implementation

  Erlang

  •0•0•0•0•Updated Dec 7, 2015Dec 7, 2015

• Indigo

  Public
  Java

  •

  Apache License 2.0

  •0•2•0•0•Updated Dec 7, 2015Dec 7, 2015

• replication-benchmarker

  Public
  Java

  •

  GNU General Public License v3.0

  •6•0•0•0•Updated Jul 17, 2015Jul 17, 2015

• WP1

  Public
  Application and environment requirements.

  TeX

  •1•2•0•0•Updated Apr 10, 2015Apr 10, 2015

• socialapp

  Public
  Erlang

  •1•2•0•0•Updated Jan 6, 2015Jan 6, 2015

• AdaptiveReplicationTool

  Public
  Java

  •0•0•0•0•Updated Dec 18, 2014Dec 18, 2014

• WP5

  Public
  Experimental evaluations

  Java

  •0•1•0•0•Updated Nov 28, 2014Nov 28, 2014

• crdtdb

  Public
  The very basic database we make in the riak core tutorial

  Erlang

  •

  Apache License 2.0

  •2•11•0•1•Updated Sep 7, 2014Sep 7, 2014

• DerflowDis

  Public
  Derflow

  Erlang

  •1•1•0•0•Updated May 14, 2014May 14, 2014

• isabelle_crdt_verification

  Public
  Apache License 2.0

  •1•7•0•0•Updated Feb 11, 2014Feb 11, 2014

• CRDTDSS

  Public
  Distribution layer for a CRDT-like programming model

  Erlang

  •2•1•0•0•Updated Jan 21, 2014Jan 21, 2014

• rebar_riak_core

  Public
  rebar create template=riak_core appid=myapp

  Erlang

  •44•0•0•0•Updated Dec 27, 2013Dec 27, 2013