{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"delta-enabled-crdts","owner":"SyncFree","isFork":true,"description":"Reference implementations of state-based CRDTs that offer deltas for all mutations.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":8,"forksCount":36,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-06-16T18:32:31.228Z"}},{"type":"Public","name":"basho_bench","owner":"SyncFree","isFork":true,"description":"A load-generation and testing tool for basically whatever you can write a returning Erlang function for.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":1,"issueCount":0,"starsCount":4,"forksCount":209,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-12T17:13:31.121Z"}},{"type":"Public","name":"riak_pb","owner":"SyncFree","isFork":true,"description":"Riak Protocol Buffers Messages","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":114,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-12T12:09:00.283Z"}},{"type":"Public","name":"syncfree.github.io","owner":"SyncFree","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-09-11T15:44:26.799Z"}},{"type":"Public","name":"FMKe","owner":"SyncFree","isFork":true,"description":"FMK Application prototype for the SyncFree Consortium","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":7,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-16T10:22:39.173Z"}},{"type":"Public","name":"CISE","owner":"SyncFree","isFork":false,"description":"The CISE logic is able to prove that some distributed program is safe, in the sense that it maintains some application invariant of interest.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-02T07:53:48.712Z"}},{"type":"Public","name":"antidote_db","owner":"SyncFree","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":1,"issueCount":0,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-23T19:11:34.068Z"}},{"type":"Public","name":"eleveldb","owner":"SyncFree","isFork":true,"description":"Erlang LevelDB API","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":174,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-07-02T15:15:57.916Z"}},{"type":"Public","name":"antidote_utils","owner":"SyncFree","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":1,"issueCount":1,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-18T16:16:01.027Z"}},{"type":"Public","name":"antidote_pb_fork","owner":"SyncFree","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-18T18:21:09.777Z"}},{"type":"Public","name":"Divergence","owner":"SyncFree","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":12,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-09-19T15:53:15.764Z"}},{"type":"Public","name":"lasp","owner":"SyncFree","isFork":true,"description":"Prototype implementation of Lasp in Erlang.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":71,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-12T14:58:28.627Z"}},{"type":"Public","name":"phoenix5k","owner":"SyncFree","isFork":false,"description":"PSAR","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-04-21T11:22:00.678Z"}},{"type":"Public","name":"riak_test","owner":"SyncFree","isFork":true,"description":"I'm in your cluster, testing your riaks","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":81,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-02-01T12:05:09.540Z"}},{"type":"Public","name":"adpreplic","owner":"SyncFree","isFork":false,"description":"Implementation of the Adaptive Replication","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":1,"issueCount":1,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-01-21T13:48:24.097Z"}},{"type":"Public","name":"wallet","owner":"SyncFree","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-01-06T09:40:09.432Z"}},{"type":"Public","name":"SwiftCloud","owner":"SyncFree","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":27,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-12-10T22:26:25.151Z"}},{"type":"Public","name":"proto-boundedcounter","owner":"SyncFree","isFork":false,"description":"Bounded Counter Implementation","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-12-07T13:46:17.272Z"}},{"type":"Public","name":"Indigo","owner":"SyncFree","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-12-07T11:55:41.939Z"}},{"type":"Public","name":"replication-benchmarker","owner":"SyncFree","isFork":true,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-07-17T07:53:46.367Z"}},{"type":"Public","name":"WP1","owner":"SyncFree","isFork":false,"description":"Application and environment requirements.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-04-10T15:01:35.896Z"}},{"type":"Public","name":"socialapp","owner":"SyncFree","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-01-06T10:23:33.830Z"}},{"type":"Public","name":"AdaptiveReplicationTool","owner":"SyncFree","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-12-18T10:24:14.597Z"}},{"type":"Public","name":"WP5","owner":"SyncFree","isFork":false,"description":"Experimental evaluations","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-11-28T08:38:55.976Z"}},{"type":"Public","name":"crdtdb","owner":"SyncFree","isFork":false,"description":"The very basic database we make in the riak core tutorial","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":1,"issueCount":0,"starsCount":11,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-09-07T11:16:42.025Z"}},{"type":"Public","name":"DerflowDis","owner":"SyncFree","isFork":true,"description":"Derflow","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-05-14T10:44:09.159Z"}},{"type":"Public","name":"isabelle_crdt_verification","owner":"SyncFree","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-02-11T10:15:09.448Z"}},{"type":"Public","name":"CRDTDSS","owner":"SyncFree","isFork":true,"description":"Distribution layer for a CRDT-like programming model","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-01-21T08:06:26.380Z"}},{"type":"Public","name":"rebar_riak_core","owner":"SyncFree","isFork":true,"description":"rebar create template=riak_core appid=myapp","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Erlang","color":"#B83998"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":44,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2013-12-27T12:36:59.278Z"}}],"repositoryCount":29,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}