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
• Factual / skuld
  Distributed task tracking system.
  ☆303Updated 11 years ago
• milinda / Freshet-Old
  CQL based Clojure DSL for Apache Samza
  ☆46Updated 11 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 9 years ago
• takeoutweight / bidirectional
  Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure
  ☆24Updated 10 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 7 years ago
• theleoborges / purely-functional-data-structures
  Clojure versions of the code and solutions from the book Purely Functional Data Structures
  ☆90Updated 12 years ago
• LambdaCon / 2015
  Slides and sources from LambdaCon 2015 edition.
  ☆43Updated 6 years ago
• trvedata / trvedb
  ☆26Updated 9 years ago
• metasoarous / datspec
  Protocols and specs for the Datsys architecture - the shape of things.
  ☆18Updated 8 years ago
• madgen / datalog-crdt
  Some CRDT implementations in Datalog
  ☆18Updated 7 years ago
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 10 years ago
• Factual / riffle
  write-once key/value storage engine
  ☆137Updated 9 years ago
• ox-lang / ox
  Ox - An immutable statically typed Lisp for the JVM
  ☆66Updated 3 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
• WallarooLabs / pony-kafka
  Pure Pony Kafka client
  ☆59Updated 6 years ago
• jessitron / microlib
  Importer program for microlibraries. Bring in the libbits!
  ☆17Updated 10 years ago
• Viasat / salt
  ☆188Updated 6 years ago
• jduey / toccata
  A Clojure dialect that compiles to native executable using the Clang compiler
  ☆95Updated 7 years ago
• tommikaikkonen / zippa
  A generic zipper library for JavaScript
  ☆29Updated 9 years ago
• TheClimateCorporation / mandoline
  A distributed, versioned, multi-dimensional array database
  ☆106Updated 8 years ago
• gritzko / swarm-ron-docs
  ☆54Updated 8 years ago
• odipar / spread
  SPREAD
  ☆18Updated 4 years ago
• pssalmeida / clj-crdt
  CRDTs in Clojure
  ☆47Updated 9 years ago
• sinabz / itc4j
  An Implementation of Interval Tree Clock
  ☆60Updated 5 years ago
• nervous-systems / chemtrack-example
  Clojurescript/Node/Reagent/Lambda Example Application
  ☆17Updated 10 years ago
• SeanTAllen / pat-helland-and-me
  Materials related to my talk "Pat Helland and Me"
  ☆14Updated 6 years ago
• quoll / mulgara
  An RDF TripleStore in Java
  ☆47Updated 4 years ago
• Datomic / fressian
  ☆273Updated 7 months ago