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
  ☆67Updated 8 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 8 years ago
• Factual / skuld
  Distributed task tracking system.
  ☆301Updated 10 years ago
• trvedata / trvedb
  ☆25Updated 9 years ago
• pssalmeida / clj-crdt
  CRDTs in Clojure
  ☆47Updated 9 years ago
• comnik / functional-differential-programming
  FRP with 3DF and Differential Dataflow.
  ☆26Updated 6 years ago
• SyncFree / SwiftCloud
  ☆27Updated 9 years ago
• LambdaCon / 2015
  Slides and sources from LambdaCon 2015 edition.
  ☆43Updated 5 years ago
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆74Updated 2 years ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆175Updated 3 years ago
• rayokota / kdatalog
  Kafka as a Datalog Engine
  ☆28Updated 5 months ago
• quoll / mulgara
  An RDF TripleStore in Java
  ☆47Updated 3 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 9 years ago
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 9 years ago
• vitorenesduarte / ldb
  Replication of CRDTs
  ☆38Updated 4 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆64Updated 6 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆12Updated 9 years ago
• milinda / Freshet-Old
  CQL based Clojure DSL for Apache Samza
  ☆46Updated 10 years ago
• bloom-lang / bud-sandbox
  Work-in-progress sample code related to Bud
  ☆68Updated 8 years ago
• cmeiklejohn / PMLDC
  Programming Models and Languages for Distributed Computation
  ☆239Updated 6 years ago
• palvaro / molly
  An implementation of LDFI
  ☆128Updated 6 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• replikativ / replikativ
  An open, scalable and distributive infrastructure for a data-driven community of applications.
  ☆333Updated 7 years ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆16Updated 7 years ago
• Factual / s3-journal
  stable, high-throughput journalling to S3
  ☆101Updated 9 years ago
• WallarooLabs / pony-kafka
  Pure Pony Kafka client
  ☆58Updated 6 years ago
• AntidoteDB / antidote_crdt
  CRDT implementations to use with Antidote
  ☆36Updated 3 years ago
• Factual / riffle
  write-once key/value storage engine
  ☆137Updated 9 years ago
• jessitron / microlib
  Importer program for microlibraries. Bring in the libbits!
  ☆17Updated 10 years ago
• puniverse / capsule-shield
  Container caplet
  ☆35Updated 9 years ago