jemc/pony-crdt external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

jemc/pony-crdt

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/jemc/pony-crdt)

Close

jemc / pony-crdtView on GitHubMore

• External links
• Readme badge

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

• d-led / DDDwithActorsPony

  View on GitHub
  Pony version of https://github.com/VaughnVernon/DDDwithActors
  ☆20Oct 10, 2023Updated 2 years ago
• jemc / jylis

  View on GitHub
  A distributed in-memory database for Conflict-free Replicated Data Types (CRDTs).
  ☆79Jul 12, 2021Updated 4 years ago
• ponylang / ponycheck

  View on GitHub
  Property Based Testing for Ponylang 🐴 ✔️
  ☆60Feb 26, 2022Updated 4 years ago
• dougmacdoug / ponylang-linal

  View on GitHub
  Linear Algebra library for Pony Language
  ☆24Feb 23, 2025Updated last year
• jemc / pony-sodium

  View on GitHub
  Safe Pony FFI wrapper for the libsodium cryptography library.
  ☆24Aug 22, 2022Updated 3 years ago
• malonnnn / ServerConfig

  View on GitHub
  ☆10Aug 29, 2018Updated 7 years ago
• ponylang / library-project-starter

  View on GitHub
  Kickstart setting up your Pony library project. See USAGE.md for instructions.
  ☆26Sep 2, 2019Updated 6 years ago
• WallarooLabs / pony-kafka

  View on GitHub
  Pure Pony Kafka client
  ☆59Apr 2, 2019Updated 6 years ago
• jemc / pony-zmq

  View on GitHub
  Pure Pony implementation of the ZeroMQ messaging library.
  ☆65Aug 20, 2022Updated 3 years ago
• joncfoo / pony-sqlite

  View on GitHub
  SQLite bindings for Pony
  ☆10Jun 15, 2019Updated 6 years ago
• chrisballinger / ChatSecure-Mac

  View on GitHub
  ChatSecure for OS X
  ☆12Mar 27, 2017Updated 8 years ago
• zertovitch / mathpaqs

  View on GitHub
  Mathpaqs: a collection of mathematical packages in pure Ada
  ☆13Feb 6, 2026Updated last month
• seantallen-org / msgpack

  View on GitHub
  Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]
  ☆33Feb 8, 2026Updated 3 weeks ago
• rened / Watcher.jl

  View on GitHub
  File watcher in Julia - can be used to auto-run unit tests etc
  ☆10Apr 8, 2019Updated 6 years ago
• mentels / riak_core_tutorial

  View on GitHub
  ☆15Jan 17, 2015Updated 11 years ago
• Blimster / isolate_cluster

  View on GitHub
  A Dart library to build up a cluster of isolates.
  ☆10Mar 14, 2020Updated 5 years ago
• Theodus / jennet

  View on GitHub
  A simple HTTP web framework written in Pony
  ☆94Jul 31, 2025Updated 7 months ago
• lisael / pony-postgres

  View on GitHub
  Pure pony PostgreSQL client
  ☆15Jul 4, 2017Updated 8 years ago
• tonyg / squeak-actors

  View on GitHub
  Erlang-style Actors for Squeak. http://tonyg.github.io/squeak-actors/
  ☆14Aug 28, 2025Updated 6 months ago
• cyplo / apprenticeship

  View on GitHub
  Notes for apprenticeship programme, to be used by mentors and apprentices alike
  ☆11Jul 6, 2019Updated 6 years ago
• ponylang / pony-stable

  View on GitHub
  A simple dependency manager for the Pony language.
  ☆136May 12, 2020Updated 5 years ago
• jemc / ponycc

  View on GitHub
  Pony package for parsing, manipulating, and compiling Pony code.
  ☆36Nov 23, 2020Updated 5 years ago
• ponylang / peg

  View on GitHub
  A parsing expression grammar package for Pony
  ☆18Updated this week
• aw / picolisp-https

  View on GitHub
  HTTP(S) client for PicoLisp
  ☆14Mar 8, 2017Updated 8 years ago
• jtfmumm / pony-functional-data

  View on GitHub
  Functional data structures for Pony
  ☆44Apr 28, 2017Updated 8 years ago
• ramsay-t / mu2

  View on GitHub
  Erlang mutation testing tool
  ☆16Sep 24, 2014Updated 11 years ago
• damaki / libkeccak

  View on GitHub
  SHA-3 and other Keccak related algorithms in SPARK/Ada.
  ☆37Oct 19, 2023Updated 2 years ago
• oraoto / pony-websocket

  View on GitHub
  WebSocket server for Ponylang🐴
  ☆45Feb 15, 2024Updated 2 years ago
• HeisenbugLtd / spat

  View on GitHub
  SPARK Proof Analysis Tool
  ☆17Oct 19, 2020Updated 5 years ago
• Componolit / jwx

  View on GitHub
  JSON/JWK/JWS/JWT/Base64 library in SPARK
  ☆19Oct 12, 2020Updated 5 years ago
• jemc / pony-inspect

  View on GitHub
  Small Pony library for converting common objects to human-readable strings.
  ☆25Sep 28, 2021Updated 4 years ago
• informalsystems / tla-apalache-workshop

  View on GitHub
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Apr 17, 2023Updated 2 years ago
• geocar / inet_ssh_dist

  View on GitHub
  SSH distribution for erlang
  ☆47Dec 28, 2017Updated 8 years ago
• juliensf / mercury-json

  View on GitHub
  A Mercury JSON library.
  ☆21Feb 18, 2026Updated 2 weeks ago
• ponylang / corral

  View on GitHub
  Pony dependency manager tool
  ☆207Updated this week
• aturley / pony-workshop

  View on GitHub
  Material for a workshop for learning about the Pony programming language
  ☆95Mar 15, 2023Updated 2 years ago
• Componolit / gneiss

  View on GitHub
  Framework for platform-independent SPARK components
  ☆24Aug 28, 2020Updated 5 years ago
• status-im / nim-cookbook

  View on GitHub
  ☆20Aug 27, 2020Updated 5 years ago
• komora-io / ebr

  View on GitHub
  high-efficiency concurrent reclamation
  ☆38Aug 29, 2024Updated last year