ponylang/pony-for-x 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

ponylang/pony-for-x

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/ponylang/pony-for-x)

Close

ponylang / pony-for-xView on GitHubMore

• External links
• Readme badge

Source of the "Pony for X" intro to Pony series

☆14Oct 4, 2016Updated 9 years ago

Alternatives and similar repositories for pony-for-x

Users that are interested in pony-for-x are comparing it to the libraries listed below

• mukeshtiwari / Idris

  View on GitHub
  Codes related to Idris
  ☆16Sep 4, 2015Updated 10 years ago
• trillioneyes / idris-pong

  View on GitHub
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Nov 20, 2014Updated 11 years ago
• mandubian / khats

  View on GitHub
  Khats, cats on Higher-Kinded amphets
  ☆15Aug 17, 2016Updated 9 years ago
• lucastorri / autobreaker

  View on GitHub
  Automatically wrap Scala classes that return Futures with a Circuit Breaker
  ☆10Sep 18, 2016Updated 9 years ago
• shadaj / GameOfLife

  View on GitHub
  Conway's Game Of Life using Scala and Processing
  ☆25Apr 8, 2012Updated 13 years ago
• luaforge / tekui

  View on GitHub
  tekUI is a GUI toolkit library mostly written in Lua. It is easily extensible with new interface elements, which can later be ported in C…
  ☆16Jan 21, 2011Updated 15 years ago
• devaspot / mtx

  View on GitHub
  ✏ MTX: Metrics Client
  ☆20Aug 29, 2015Updated 10 years ago
• joedevivo / gen_java

  View on GitHub
  A library for Erlang/Java Interoperability via Erlang's rpc module
  ☆15Jan 12, 2015Updated 11 years ago
• SimonJF / IdrisNet2

  View on GitHub
  A proper network library for Idris, now that I know what I'm doing.
  ☆59Sep 27, 2016Updated 9 years ago
• edwinb / WS-idr

  View on GitHub
  Yes, it is what you think it is
  ☆33Jan 20, 2016Updated 10 years ago
• intermezzOS / intermezzOS.github.io

  View on GitHub
  The website for intermezzOS
  ☆14May 22, 2018Updated 7 years ago
• idris-hackers / idris-lens

  View on GitHub
  ☆23Sep 30, 2016Updated 9 years ago
• jfdm / idris-config

  View on GitHub
  Parsers for various configuration files written in Idris.
  ☆19Nov 8, 2017Updated 8 years ago
• sschauss / wracket

  View on GitHub
  Lisp-like language to WebAssembly build with racket
  ☆23Nov 26, 2017Updated 8 years ago
• jemc / pony-zmq

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

  View on GitHub
  Free Monads and useful constructions to work with them
  ☆26Aug 14, 2018Updated 7 years ago
• david-christiansen / IdrisSqlite

  View on GitHub
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41May 1, 2018Updated 7 years ago
• david-christiansen / idris-type-providers

  View on GitHub
  Type provider library for Idris
  ☆95Dec 21, 2017Updated 8 years ago
• Syntaf / GameOfLife

  View on GitHub
  A terminal based Conways Game of Life
  ☆23Oct 14, 2017Updated 8 years ago
• jvasileff / ceylon-dart

  View on GitHub
  Dart backend for Ceylon
  ☆28Dec 4, 2017Updated 8 years ago
• eBay / RTran

  View on GitHub
  Road to Continous Upgrade
  ☆15Aug 12, 2025Updated 6 months ago
• stedolan / idris-malfunction

  View on GitHub
  Experimental Malfunction backend for Idris
  ☆82Jun 20, 2018Updated 7 years ago
• idris-hackers / idris-posix

  View on GitHub
  System POSIX bindings for Idris.
  ☆36Jan 5, 2019Updated 7 years ago
• jemc / ponycc

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

  View on GitHub
  Pure Pony Kafka client
  ☆59Apr 2, 2019Updated 6 years ago
• martinklepsch / boot-garden

  View on GitHub
  Boot task to compile Garden stylesheets.
  ☆37Feb 2, 2018Updated 8 years ago
• ashokgelal / gorilla

  View on GitHub
  Golang Web Toolkit
  ☆16Nov 5, 2011Updated 14 years ago
• SvenKoos / Smart-Watchy

  View on GitHub
  Watchy firmware and companion mobile app repository
  ☆10Updated this week
• Ristretto / libristretto255

  View on GitHub
  Small, self-contained C implementation of Ristretto255 based on libdecaf
  ☆13Apr 4, 2019Updated 6 years ago
• jtfmumm / pony-functional-data

  View on GitHub
  Functional data structures for Pony
  ☆44Apr 28, 2017Updated 8 years ago
• amarpotghan / scala-fold

  View on GitHub
  Composable folds
  ☆13Jul 18, 2018Updated 7 years ago
• KeychainMDIP / kc

  View on GitHub
  Multi Dimensional Identity Protocol (MDIP) reference implementation
  ☆14Mar 2, 2026Updated last week
• Cobenian / Presentex

  View on GitHub
  Elixir -> HTML/JavaScript based presentation framework intended for showing Elixir code
  ☆12Dec 7, 2015Updated 10 years ago
• flapdoodle-oss / de.flapdoodle.embed.redis

  View on GitHub
  redis starter
  ☆13Sep 13, 2017Updated 8 years ago
• david-christiansen / idris-quickcheck

  View on GitHub
  A port of QuickCheck to Idris
  ☆60Oct 30, 2017Updated 8 years ago
• edwinb / States

  View on GitHub
  State machines in Idris
  ☆37Nov 6, 2016Updated 9 years ago
• NashTech-Labs / ScalaJs_Weather_Report

  View on GitHub
  Weather Information System- Get the mood of your city on one click using Scala.js.
  ☆40May 19, 2016Updated 9 years ago
• tron-forum / mtk3_devenv

  View on GitHub
  μT-Kernel 3.0 development environment
  ☆12May 19, 2021Updated 4 years ago
• SOF3 / off-side.rs

  View on GitHub
  Use off-side syntax (indent instead of braces, like in Python) to write Rust!
  ☆10Jun 26, 2019Updated 6 years ago