trvedata / opsetsLinks
☆14Updated 6 years ago
Alternatives and similar repositories for opsets
Users that are interested in opsets are comparing it to the libraries listed below
Sorting:
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Updated 3 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆75Updated 2 years ago
- A system for maintaining replicated state machines☆116Updated 8 years ago
- ☆27Updated 10 years ago
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆74Updated 7 years ago
- A Distributed Key-Value Store with "Server Wide Clocks"☆85Updated 9 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- A Logical Clock for Static and Dynamic Systems☆160Updated 7 years ago
- ☆17Updated 8 years ago
- An Implementation of Interval Tree Clock☆60Updated 5 years ago
- Materials and accompanying references for all things pwlconf related☆60Updated 6 years ago
- CRDT implementations to use with Antidote☆36Updated 3 years ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆58Updated 13 years ago
- Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.☆39Updated 6 years ago
- Machi file store☆121Updated 9 years ago
- A research fork of cassandra that provides causal+ consistency, read-only transaction, and write-only transaction across all the servers …☆77Updated 8 years ago
- A DSL/LISP dialect written in Haskell☆21Updated 7 years ago
- Scala implementation of the Ctrie datastructure.☆175Updated 4 years ago
- CRDT-based data synchronization service☆17Updated 9 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 4 years ago
- A scalable, fast, consistent graph store☆213Updated 9 years ago
- IBM Proactive Technology Online☆24Updated 2 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated last week
- Property Based Testing for Ponylang 🐴 ✔️☆60Updated 3 years ago
- Sandbox for playing around with CRDTs☆31Updated 8 years ago
- An implementation of LDFI☆128Updated 7 years ago
- TLA+ specification of Flexible Paxos☆41Updated 2 years ago
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆22Updated 6 years ago
- Pure Pony Kafka client☆59Updated 6 years ago
- Pony implementation of http://www.reactive-streams.org/☆41Updated last month