Alternatives and similar repositories for ponyup

Users that are interested in ponyup are comparing it to the libraries listed below

• ponylang / corral

  View on GitHub
  Pony dependency manager tool
  ☆208Updated this week
• ponylang / crypto

  View on GitHub
  Library of common cryptographic algorithms and functions for Pony
  ☆12Jul 16, 2025Updated 6 months ago
• ponylang / pony-tutorial

  View on GitHub
  Tutorial for the Pony programming language
  ☆357Jan 20, 2026Updated 3 weeks ago
• ponylang / pony-patterns

  View on GitHub
  A cookbook style book of patterns for Pony
  ☆72Jan 20, 2026Updated 3 weeks ago
• ponylang / ponycheck

  View on GitHub
  Property Based Testing for Ponylang 🐴 ✔️
  ☆60Feb 26, 2022Updated 3 years ago
• jghoman / awesome-pony

  View on GitHub
  Curated resources on the pony language
  ☆54Mar 15, 2020Updated 5 years ago
• ponylang / pony-stable

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

  View on GitHub
  Pony is an open-source, actor-model, capabilities-secure, high performance programming language
  ☆6,020Feb 7, 2026Updated last week
• ponylang / http_server

  View on GitHub
  Pony library for building HTTP server applications.
  ☆35Jan 20, 2026Updated 3 weeks ago
• jemc / ponycc

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

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

  View on GitHub
  A simple HTTP web framework written in Pony
  ☆93Jul 31, 2025Updated 6 months ago
• ponylang / lori

  View on GitHub
  Pony TCP classes reimagined
  ☆13Updated this week
• savi-lang / savi

  View on GitHub
  A fast language for programmers who are passionate about their craft.
  ☆157Feb 7, 2026Updated last week
• oraoto / pony-websocket

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

  View on GitHub
  RFCs for changes to Pony
  ☆62Jan 20, 2026Updated 3 weeks ago
• WallarooLabs / pony-kafka

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

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

  View on GitHub
  Pony syntax highlighting, Code formatting, Playground and more things for Emacs.
  ☆35Updated this week
• ponylang / postgres

  View on GitHub
  Pure Pony Postgres driver
  ☆15Jan 20, 2026Updated 3 weeks ago
• WallarooLabs / wally

  View on GitHub
  Distributed Stream Processing
  ☆1,485Apr 6, 2021Updated 4 years ago
• seantallen-org / msgpack

  View on GitHub
  Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]
  ☆33Updated this week
• sylvanc / language-pony

  View on GitHub
  Language support for Pony in Atom.
  ☆15Mar 31, 2017Updated 8 years ago
• ponylang / peg

  View on GitHub
  A parsing expression grammar package for Pony
  ☆18Updated this week
• jamesmcm / s3rename

  View on GitHub
  Tool to mass-rename S3 keys
  ☆20Oct 28, 2020Updated 5 years ago
• jemc / pony-sodium

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

  View on GitHub
  An experimental language server for SomewhatML
  ☆24Dec 30, 2022Updated 3 years ago
• ponylang / reactive_streams

  View on GitHub
  Pony implementation of http://www.reactive-streams.org/
  ☆41Jan 20, 2026Updated 3 weeks ago
• ponylang / pony-language-server

  View on GitHub
  Language server for Pony
  ☆25Feb 5, 2026Updated last week
• ice1000 / agda-mode

  View on GitHub
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆28Nov 12, 2025Updated 3 months ago
• pleiad / Refinements

  View on GitHub
  Experiments in formalizing refinement type systems in Coq
  ☆18Feb 7, 2016Updated 10 years ago
• microsoft / Trieste

  View on GitHub
  A term rewriting system for experimental programming language development.
  ☆48Updated this week
• alpaca-lang / alpaca

  View on GitHub
  Functional programming inspired by ML for the Erlang VM
  ☆1,457Jun 13, 2020Updated 5 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• sto0pkid / swipl-tt

  View on GitHub
  Implementation of dependent type theory in SWI-Prolog
  ☆10Oct 6, 2020Updated 5 years ago
• DYFeng / pro-django-zh

  View on GitHub
  Pro Django中文译本
  ☆11Jun 11, 2017Updated 8 years ago
• psibi / sysinfo

  View on GitHub
  Haskell Interface for getting overall system statistics
  ☆16Feb 8, 2019Updated 7 years ago
• npruehs / pony-game

  View on GitHub
  Game framework for creating DirectX games with Pony.
  ☆43Aug 21, 2016Updated 9 years ago