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
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆74Updated 7 years ago
- A system for maintaining replicated state machines☆116Updated 8 years ago
- Scala implementation of the Ctrie datastructure.☆175Updated 4 years ago
- Materials and accompanying references for all things pwlconf related☆60Updated 6 years ago
- Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.☆39Updated 6 years ago
- Build system☆89Updated 7 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
- Property Based Testing for Ponylang 🐴 ✔️☆60Updated 3 years ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆58Updated 12 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- CRDT-based data synchronization service☆17Updated 9 years ago
- CRDTs in Clojure☆47Updated 9 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated 2 years ago
- ☆17Updated 8 years ago
- ☆27Updated 9 years ago
- AllConcur: Algorithm for LeaderLess CONCURrent atomic broadcast☆31Updated 8 years ago
- Distributed system simulator and distributed algorithm scratchpad☆21Updated 2 years ago
- Low-latency Overlog runtime☆18Updated 10 years ago
- ZHT is back and updated, enjoy!☆44Updated 9 years ago
- ☆43Updated 9 years ago
- TLA+ specification of Flexible Paxos☆41Updated 2 years ago
- An Implementation of Interval Tree Clock☆60Updated 5 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- ☆64Updated 9 years ago
- Javascript bindings for Irmin☆31Updated 10 years ago
- Pure Pony Kafka client☆59Updated 6 years ago
- Machi file store☆121Updated 9 years ago
- Sandbox for playing around with CRDTs☆31Updated 8 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago