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 3 years ago
• dougmacdoug / ponylang-linal

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

  View on GitHub
  Safe Pony FFI wrapper for the libsodium cryptography library.
  ☆24Aug 22, 2022Updated 3 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
• malonnnn / ServerConfig

  View on GitHub
  ☆10Aug 29, 2018Updated 7 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
• chrisballinger / ChatSecure-Mac

  View on GitHub
  ChatSecure for OS X
  ☆12Mar 27, 2017Updated 8 years ago
• joncfoo / pony-sqlite

  View on GitHub
  SQLite bindings for Pony
  ☆10Jun 15, 2019Updated 6 years ago
• zertovitch / mathpaqs

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

  View on GitHub
  Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]
  ☆33Updated this week
• Blimster / isolate_cluster

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

  View on GitHub
  ☆15Jan 17, 2015Updated 11 years ago
• Theodus / jennet

  View on GitHub
  A simple HTTP web framework written in Pony
  ☆94Jul 31, 2025Updated 6 months 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
• aw / picolisp-https

  View on GitHub
  HTTP(S) client for PicoLisp
  ☆14Mar 8, 2017Updated 8 years ago
• ponylang / peg

  View on GitHub
  A parsing expression grammar package for Pony
  ☆18Updated this week
• jtfmumm / pony-functional-data

  View on GitHub
  Functional data structures for Pony
  ☆44Apr 28, 2017Updated 8 years ago
• oraoto / pony-websocket

  View on GitHub
  WebSocket server for Ponylang🐴
  ☆45Feb 15, 2024Updated last year
• HeisenbugLtd / spat

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

  View on GitHub
  Erlang VM timer wheel analyzer
  ☆18Nov 13, 2015Updated 10 years ago
• Componolit / jwx

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

  View on GitHub
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Dec 4, 2018Updated 7 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
• ponylang / corral

  View on GitHub
  Pony dependency manager tool
  ☆208Updated 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
• uwiger / pots

  View on GitHub
  Demo program for Plain Old Telephony System (POTS) simulation
  ☆49Oct 3, 2014Updated 11 years ago
• Bluehouse-Technology / grpc_client

  View on GitHub
  Erlang Client library for gRPC
  ☆29Apr 6, 2022Updated 3 years ago
• jscparker / math_packages

  View on GitHub
  Collection of basic math routines in Ada
  ☆27Oct 31, 2022Updated 3 years ago
• jtfmumm / novitiate

  View on GitHub
  A procedurally generated RPG inspired by Rogue and written in Pony.
  ☆70Apr 11, 2020Updated 5 years ago
• pmderodat / ada-toml

  View on GitHub
  TOML parser for Ada
  ☆36Jul 16, 2025Updated 6 months ago
• lasp-lang / types

  View on GitHub
  Prototype implementation of Conflict-free Replicated Data Types (CRDTs) in Erlang.
  ☆141Feb 15, 2019Updated 7 years ago