@SyncFree
Guthub

SyncFree

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    93
  • Global Org. Rank 59,908 (Top 20 %)
  • Registered about 11 years ago
  • Most used languages
    Java
         60.0 %
    Erlang
         30.0 %
    TeX
         10.0 %

Top repositories

1

SwiftCloud

Java
27
star
2

antidote-fs

A file system backed by AntidoteDB.
Java
12
star
3

crdtdb

The very basic database we make in the riak core tutorial
Erlang
11
star
4

isabelle_crdt_verification

7
star
5

antidote_db

5
star
6

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.
Java
3
star
7

Divergence

Java
3
star
8

Indigo

Java
2
star
9

WP1

Application and environment requirements.
TeX
2
star
10

socialapp

Erlang
2
star
11

adpreplic

Implementation of the Adaptive Replication
Erlang
2
star
12

WP5

Experimental evaluations
Java
1
star