trvedata / opsetsLinks
☆13Updated 6 years ago
Alternatives and similar repositories for opsets
Users that are interested in opsets are comparing it to the libraries listed below
Sorting:
- Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.☆38Updated 5 years ago
- ☆25Updated 8 years ago
- Replication of CRDTs☆38Updated 4 years ago
- For research related to Humming Consensus: errata & corrections, source code for future work, etc.☆10Updated 8 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 4 years ago
- Pony implementation of http://www.reactive-streams.org/☆40Updated 2 months ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆73Updated 2 years ago
- A Distributed Key-Value Store with "Server Wide Clocks"☆86Updated 8 years ago
- A system for maintaining replicated state machines☆115Updated 8 years ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 9 years ago
- ActorDB main source☆46Updated 2 years ago
- Erlang implementation of tagged reliable causal broadcast.☆25Updated 7 years ago
- Golang Actor Model☆20Updated 13 years ago
- Pure Pony Kafka client☆57Updated 6 years ago
- CRDT implementations to use with Antidote☆36Updated 3 years ago
- ☆27Updated 9 years ago
- Build system☆90Updated 6 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Machi file store☆121Updated 9 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- An implementation of the Raft Consensus Algorithm in Elixir/Erlang☆25Updated 9 years ago
- scylladb jepsen clone☆16Updated 11 months ago
- A library for simulating parallel systems, in Clojure☆184Updated 12 years ago
- obigstore: database with BigTable-like data model atop LevelDB☆43Updated 7 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago
- Source of the "Pony for X" intro to Pony series☆14Updated 8 years ago
- Safely trading off consistency for performance.☆12Updated 5 years ago
- Property Based Testing for Ponylang 🐴 ✔️☆59Updated 3 years ago