jemc / pony-crdtLinks
Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
☆38Updated 6 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).☆76Updated 4 years ago
- Property Based Testing for Ponylang 🐴 ✔️☆59Updated 3 years ago
- Erlang Design by Contract☆24Updated 7 years ago
- Pony implementation of http://www.reactive-streams.org/☆40Updated 2 months ago
- A supercompiler pass for Erlang☆92Updated 4 years ago
- Pure Pony implementation of the ZeroMQ messaging library.☆65Updated 3 years ago
- Functional data structures for Pony☆44Updated 8 years ago
- Erlang flavored by Some ML☆36Updated 13 years ago
- Prototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.☆141Updated 6 years ago
- simplified query engine based on logic programming paradigm☆152Updated 6 years ago
- Erlang implementation of tagged reliable causal broadcast.☆25Updated 7 years ago
- Replication of CRDTs☆38Updated 4 years ago
- Kickstart setting up your Pony library project. See USAGE.md for instructions.☆26Updated 5 years ago
- an experimental programming language for the erlang vm that is actually useful☆29Updated 5 years ago
- ZeroMQ implemented in Erlang☆130Updated 5 years ago
- A Streaming Process-based Skeleton Library for Erlang☆158Updated 4 months ago
- Supervised Session Actors☆22Updated 9 years ago
- Erlang Language Specification (Draft)☆47Updated last year
- Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]☆33Updated last month
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- Riak DC Replication☆57Updated last year
- A Distributed Key-Value Store with "Server Wide Clocks"☆85Updated 8 years ago
- Pony version of https://github.com/VaughnVernon/DDDwithActors☆20Updated last year
- [discontinued, see pviotti/conver] Practical verification of non-transactional consistency models.☆18Updated 9 years ago
- ☆17Updated 2 years ago
- a new dialect of erlang☆165Updated 10 years ago
- A nanopass-style compiler in Elixir, targeting BEAM, based on https://github.com/compilers-course-materials/☆16Updated 3 years ago
- JSON instances generation and validation from JSON Schema and other JSON data descriptions☆39Updated 8 years ago
- Lens implementation in Erlang☆67Updated 9 years ago