ponylang / pony-for-xView external linksLinks
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
Sorting:
- Codes related to Idris☆16Sep 4, 2015Updated 10 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Nov 20, 2014Updated 11 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- Automatically wrap Scala classes that return Futures with a Circuit Breaker☆10Sep 18, 2016Updated 9 years ago
- Conway's Game Of Life using Scala and Processing☆25Apr 8, 2012Updated 13 years ago
- 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
- ✏ MTX: Metrics Client☆20Aug 29, 2015Updated 10 years ago
- A library for Erlang/Java Interoperability via Erlang's rpc module☆15Jan 12, 2015Updated 11 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Sep 27, 2016Updated 9 years ago
- Yes, it is what you think it is☆33Jan 20, 2016Updated 10 years ago
- The website for intermezzOS☆14May 22, 2018Updated 7 years ago
- ☆23Sep 30, 2016Updated 9 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- Lisp-like language to WebAssembly build with racket☆23Nov 26, 2017Updated 8 years ago
- Pure Pony implementation of the ZeroMQ messaging library.☆65Aug 20, 2022Updated 3 years ago
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41May 1, 2018Updated 7 years ago
- Type provider library for Idris☆95Dec 21, 2017Updated 8 years ago
- A terminal based Conways Game of Life☆23Oct 14, 2017Updated 8 years ago
- Dart backend for Ceylon☆28Dec 4, 2017Updated 8 years ago
- Road to Continous Upgrade☆15Aug 12, 2025Updated 6 months ago
- Experimental Malfunction backend for Idris☆82Jun 20, 2018Updated 7 years ago
- Pony package for parsing, manipulating, and compiling Pony code.☆36Nov 23, 2020Updated 5 years ago
- System POSIX bindings for Idris.☆36Jan 5, 2019Updated 7 years ago
- Pure Pony Kafka client☆59Apr 2, 2019Updated 6 years ago
- Boot task to compile Garden stylesheets.☆37Feb 2, 2018Updated 8 years ago
- Golang Web Toolkit☆16Nov 5, 2011Updated 14 years ago
- Multi Dimensional Identity Protocol (MDIP) reference implementation☆13Updated this week
- Elixir -> HTML/JavaScript based presentation framework intended for showing Elixir code☆12Dec 7, 2015Updated 10 years ago
- Composable folds☆13Jul 18, 2018Updated 7 years ago
- Watchy firmware and companion mobile app repository☆10Sep 19, 2024Updated last year
- Functional data structures for Pony☆44Apr 28, 2017Updated 8 years ago
- redis starter☆13Sep 13, 2017Updated 8 years ago
- Small, self-contained C implementation of Ristretto255 based on libdecaf☆13Apr 4, 2019Updated 6 years ago
- Weather Information System- Get the mood of your city on one click using Scala.js.☆40May 19, 2016Updated 9 years ago
- State machines in Idris☆37Nov 6, 2016Updated 9 years ago
- A port of QuickCheck to Idris☆60Oct 30, 2017Updated 8 years ago
- A bare bones lisp parser & interpreter☆11Jan 26, 2021Updated 5 years ago
- μT-Kernel 3.0 development environment☆12May 19, 2021Updated 4 years ago