SyncFree/socialapp SyncFree/socialapp

  • Stars
    star
    2
  • Language
    Erlang
  • Created about 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SyncFree/socialapp
github

SyncFree

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More 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

adpreplic

Implementation of the Adaptive Replication
Erlang
2
star
11

WP5

Experimental evaluations
Java
1
star