Delta-State Convergent Replicated Data Types (ẟ-CRDTs) for the Pony language.
☆39Aug 6, 2019Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pony version of https://github.com/VaughnVernon/DDDwithActors☆20Oct 10, 2023Updated 2 years ago
- A distributed in-memory database for Conflict-free Replicated Data Types (CRDTs).☆80Jul 12, 2021Updated 5 years ago
- SQLite bindings for Pony☆10Jun 15, 2019Updated 7 years ago
- Property Based Testing for Ponylang 🐴 ✔️☆60Feb 26, 2022Updated 4 years ago
- A parsing expression grammar package for Pony☆17Jul 14, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Pure Pony Kafka client☆60Apr 2, 2019Updated 7 years ago
- Pony package for parsing, manipulating, and compiling Pony code.☆36Nov 23, 2020Updated 5 years ago
- ☆15Jan 17, 2015Updated 11 years ago
- Erlang VM timer wheel analyzer☆18Nov 13, 2015Updated 10 years ago
- Pure Pony implementation of the ZeroMQ messaging library.☆64Aug 20, 2022Updated 3 years ago
- A simple HTTP web framework written in Pony☆94Jul 31, 2025Updated 11 months ago
- HTTP(S) client for PicoLisp☆14Mar 8, 2017Updated 9 years ago
- Pure pony PostgreSQL client☆15Jul 4, 2017Updated 9 years ago
- Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]☆33Apr 2, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Small Pony library for converting common objects to human-readable strings.☆25Sep 28, 2021Updated 4 years ago
- A nanopass-style compiler in Elixir, targeting BEAM, based on https://github.com/compilers-course-materials/☆16Sep 19, 2021Updated 4 years ago
- A simple dependency manager for the Pony language.☆136May 12, 2020Updated 6 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆24Apr 17, 2023Updated 3 years ago
- Erlang mutation testing tool☆16Sep 24, 2014Updated 11 years ago
- The source code for the www.tremor.rs website☆15May 6, 2026Updated 2 months ago
- Pony dependency manager tool☆207Jul 14, 2026Updated last week
- File watcher in Julia - can be used to auto-run unit tests etc☆10Apr 8, 2019Updated 7 years ago
- Erlang Fuzzy String Matcher☆19Feb 11, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- SPARK Proof Analysis Tool☆18Oct 19, 2020Updated 5 years ago
- A CRDT library with δ-CRDT support.☆228May 30, 2017Updated 9 years ago
- A simple test HTTP server for Janet, circlet, and jpm.☆14Jul 28, 2019Updated 6 years ago
- A Mercury JSON library.☆21Jul 21, 2026Updated last week
- Mathpaqs: a collection of mathematical packages in pure Ada☆15Jun 4, 2026Updated last month
- A fast language for programmers who are passionate about their craft.☆157Feb 7, 2026Updated 5 months ago
- everyday parsing, language tools, and more☆15Jun 14, 2026Updated last month
- WebSocket server for Ponylang🐴☆45Feb 15, 2024Updated 2 years ago
- Multi backend HashMap for higher performance on different key space sizes☆31Oct 5, 2025Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆18Mar 13, 2023Updated 3 years ago
- A procedurally generated RPG inspired by Rogue and written in Pony.☆70Apr 11, 2020Updated 6 years ago
- An elixir library for pushing exometer metrics to datadog via the REST API.☆13Jun 22, 2016Updated 10 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 5 years ago
- Framework for platform-independent SPARK components☆24Aug 28, 2020Updated 5 years ago
- An Erlang implementation of the Secure Scuttlebutt protocol☆19Oct 31, 2019Updated 6 years ago
- Generic abstraction for building dataflow computations.☆16Nov 21, 2017Updated 8 years ago