jemc / pony-crdtLinks
Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
☆38Updated 5 years ago
Alternatives and similar repositories for pony-crdt
Users that are interested in pony-crdt are comparing it to the libraries listed below
Sorting:
- Pure Pony Kafka client☆58Updated 6 years ago
- A distributed in-memory database for Conflict-free Replicated Data Types (CRDTs).☆77Updated 4 years ago
- Property Based Testing for Ponylang 🐴 ✔️☆59Updated 3 years ago
- Pony implementation of http://www.reactive-streams.org/☆40Updated last month
- A supercompiler pass for Erlang☆92Updated 4 years ago
- Erlang implementation of tagged reliable causal broadcast.☆25Updated 7 years ago
- Erlang Design by Contract☆24Updated 7 years ago
- Functional data structures for Pony☆44Updated 8 years ago
- Prototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.☆141Updated 6 years ago
- Replication of CRDTs☆38Updated 4 years ago
- Pure Pony implementation of the ZeroMQ messaging library.☆65Updated 2 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- simplified query engine based on logic programming paradigm☆152Updated 6 years ago
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆22Updated 6 years ago
- Kickstart setting up your Pony library project. See USAGE.md for instructions.☆26Updated 5 years ago
- Slides for Pony lectures☆27Updated 7 years ago
- Pony package for parsing, manipulating, and compiling Pony code.☆36Updated 4 years ago
- Erlang Language Specification (Draft)☆47Updated 11 months ago
- Server Wide Clocks for Distributed Eventually Consistent Systems☆47Updated 8 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- A Streaming Process-based Skeleton Library for Erlang☆158Updated 3 months ago
- Supervised Session Actors☆22Updated 9 years ago
- Erlang Backend for Idris Compiler☆188Updated 8 years ago
- A Distributed Key-Value Store with "Server Wide Clocks"☆85Updated 8 years ago
- Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]☆32Updated 2 weeks ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- ZeroMQ implemented in Erlang☆130Updated 5 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 4 years ago
- ☆17Updated 2 years ago