The ponylang.io website
☆159Aug 10, 2026Updated this week
Alternatives and similar repositories for ponylang-website
Users that are interested in ponylang-website are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆6,156Updated this week
- Tutorial for the Pony programming language☆367Updated this week
- RFCs for changes to Pony☆64Jul 31, 2026Updated last week
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated last year
- A cookbook style book of patterns for Pony☆77Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Pony dependency manager tool☆207Updated this week
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 9 years ago
- Programming Language Void☆15Updated this week
- A simple dependency manager for the Pony language.☆136May 12, 2020Updated 6 years ago
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 4 years ago
- Language support for Pony in Atom.☆15Mar 31, 2017Updated 9 years ago
- Propositional logic with exponentials☆23Jul 21, 2026Updated 3 weeks ago
- Pony library for building HTTP server applications.☆36May 30, 2026Updated 2 months ago
- The Pony toolchain multiplexer☆218Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Cross-platform utility module for Zig to open native dialogs for the filesystem, message boxes, color-picking.☆17Nov 29, 2024Updated last year
- Effing utilities.☆24Apr 15, 2021Updated 5 years ago
- Juicy Language Compiler☆11Oct 8, 2017Updated 8 years ago
- Zig bindings and packaging for notcurses☆12Apr 16, 2024Updated 2 years ago
- Session types framework with support of protocol pipelining.☆16Aug 3, 2026Updated last week
- Orchestrator managing Erlang containers and routing Erlang Distribution through itself.☆12Dec 19, 2025Updated 7 months ago
- HRW, or rendezvous hashing, library for Elixir☆35Jul 27, 2026Updated 2 weeks ago
- Distributable shell scripts with dependencies☆11Dec 24, 2016Updated 9 years ago
- Convert numbers like 42 to forty-two☆19Aug 21, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Linear scan register allocator written in Rust☆15Sep 10, 2013Updated 12 years ago
- Antialiased 2D vector drawing library written in rust☆14Mar 19, 2021Updated 5 years ago
- A simple HTTP web framework written in Pony☆94Jul 31, 2025Updated last year
- A pure Elixir Datalog engine with semi-naive fixpoint evaluation, stratified negation, provenance tracking, and telemetry.☆25Jun 22, 2026Updated last month
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- Compiler for the Vale programming language - http://vale.dev/☆2,004May 14, 2024Updated 2 years ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Dec 24, 2015Updated 10 years ago
- Run an OCaml program as an erlang node☆30Mar 25, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Byeol Programming language.☆10Aug 3, 2026Updated last week
- ☆12Jun 7, 2024Updated 2 years ago
- If at first you don't succeed☆12Sep 25, 2020Updated 5 years ago
- simple hyperram controller☆11Feb 10, 2019Updated 7 years ago
- A very basic grpc LRU cache.☆10Jan 24, 2019Updated 7 years ago
- A simple actor model for Zig☆10Aug 11, 2024Updated 2 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆40Oct 14, 2025Updated 9 months ago