Alternatives and similar repositories for trvesync

Users that are interested in trvesync are comparing it to the libraries listed below

• aphyr / gretchen
  Offline serializability verification, in Clojure
  ☆66Updated 8 years ago
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆27Updated 6 years ago
• LambdaCon / 2015
  Slides and sources from LambdaCon 2015 edition.
  ☆43Updated 6 years ago
• Factual / skuld
  Distributed task tracking system.
  ☆303Updated 11 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 9 years ago
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 10 years ago
• SyncFree / SwiftCloud
  ☆27Updated 10 years ago
• trvedata / trvedb
  ☆26Updated 9 years ago
• cmeiklejohn / PMLDC
  Programming Models and Languages for Distributed Computation
  ☆240Updated 7 years ago
• WallarooLabs / pony-kafka
  Pure Pony Kafka client
  ☆59Updated 6 years ago
• MagnusS / jitsu
  A DNS server that automatically starts unikernels on demand
  ☆22Updated 10 years ago
• sinabz / itc4j
  An Implementation of Interval Tree Clock
  ☆60Updated 5 years ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆18Updated 7 years ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆176Updated 4 years ago
• milinda / Freshet-Old
  CQL based Clojure DSL for Apache Samza
  ☆46Updated 10 years ago
• lasp-lang / ishikawa
  Erlang implementation of tagged reliable causal broadcast.
  ☆25Updated 7 years ago
• vitorenesduarte / ldb
  Replication of CRDTs
  ☆38Updated 4 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆12Updated 9 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 9 years ago
• Factual / riffle
  write-once key/value storage engine
  ☆137Updated 9 years ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆75Updated 3 years ago
• uswitch / bifrost
  Safely archive data from Apache Kafka to S3 with no Hadoop dependencies :)
  ☆100Updated 6 years ago
• gritzko / swarm-ron-docs
  ☆54Updated 8 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 7 years ago
• ponylang / reactive_streams
  Pony implementation of http://www.reactive-streams.org/
  ☆41Updated 2 months ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 10 years ago
• technolo-g / lookma
  Demos for Look Ma, no OS!
  ☆55Updated 10 years ago
• rayokota / kdatalog
  Kafka as a Datalog Engine
  ☆28Updated 9 months ago
• leithaus / SpecialK
  DataLog meets NoSql
  ☆63Updated 3 years ago
• lfe-deprecated / clj
  MERGED to LFE - Clojure-inspired macros and functions for use in LFE
  ☆28Updated 9 years ago