trvedata / trvesyncLinks
Sandbox for playing around with CRDTs
☆30Updated 8 years ago
Alternatives and similar repositories for trvesync
Users that are interested in trvesync are comparing it to the libraries listed below
Sorting:
- Offline serializability verification, in Clojure☆67Updated 8 years ago
- ☆25Updated 9 years ago
- ☆27Updated 9 years ago
- FRP with 3DF and Differential Dataflow.☆27Updated 6 years ago
- Distributed task tracking system.☆301Updated 10 years ago
- ☆64Updated 9 years ago
- Kafka as a Datalog Engine☆28Updated 6 months ago
- Javascript bindings for Irmin☆31Updated 10 years ago
- CRDTs in Clojure☆47Updated 9 years ago
- Clojure versions of the code and solutions from the book Purely Functional Data Structures☆90Updated 12 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆74Updated 2 years ago
- Scala implementation of the Ctrie datastructure.☆175Updated 4 years ago
- A generic zipper library for JavaScript☆29Updated 9 years ago
- Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure☆24Updated 9 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆12Updated 9 years ago
- CQL based Clojure DSL for Apache Samza☆46Updated 10 years ago
- Materials related to my talk "Pat Helland and Me"☆14Updated 5 years ago
- write-once key/value storage engine☆137Updated 9 years ago
- Slides and sources from LambdaCon 2015 edition.☆43Updated 5 years ago
- Pure Pony Kafka client☆58Updated 6 years ago
- An RDF TripleStore in Java☆47Updated 3 years ago
- stable, high-throughput journalling to S3☆101Updated 9 years ago
- An Implementation of Interval Tree Clock☆60Updated 5 years ago
- Interactive visualization framework for Runway models of distributed systems☆186Updated 3 years ago
- A Distributed Key-Value Store with "Server Wide Clocks"☆85Updated 8 years ago
- Programming Models and Languages for Distributed Computation☆239Updated 6 years ago
- A conflict-free replicated JSON datatype (CRDT) in Scala☆298Updated 4 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- ☆271Updated 3 months ago
- Ox - An immutable statically typed Lisp for the JVM☆66Updated 3 years ago