ponylang / ponyup

Related projects: ⓘ

• ponylang / corral
  Pony dependency manager tool
  ☆189Updated 5 months ago
• Theodus / jennet
  A simple HTTP web framework written in Pony
  ☆88Updated 2 years ago
• ponylang / pony-tutorial
  Tutorial for the Pony programming language
  ☆310Updated last month
• ponylang / ponylang-website
  The ponylang.io website
  ☆66Updated this week
• aturley / pony-workshop
  Material for a workshop for learning about the Pony programming language
  ☆96Updated last year
• ponylang / pony-patterns
  A cookbook style book of patterns for Pony
  ☆61Updated 3 months ago
• jghoman / awesome-pony
  Curated resources on the pony language
  ☆54Updated 4 years ago
• ponylang / pony-stable
  A simple dependency manager for the Pony language.
  ☆134Updated 4 years ago
• ponylang / rfcs
  RFCs for changes to Pony
  ☆59Updated 6 months ago
• leostera / caramel
  a functional language for building type-safe, scalable, and maintainable applications
  ☆1,050Updated 11 months ago
• rvirding / erlog
  Prolog interpreter in and for Erlang
  ☆370Updated 6 months ago
• jemc / jylis
  A distributed in-memory database for Conflict-free Replicated Data Types (CRDTs).
  ☆74Updated 3 years ago
• leostera / lam
  a lightweight, universal actor-model vm for writing scalable and reliable applications that run natively and on WebAssembly
  ☆252Updated 3 years ago
• kvakvs / ErlangRT
  Erlang Replacement Therapy. Another attempt to make Erlang runtime (BEAM emulator) in Rust. Good news: I know what to do. Bad news: I hav…
  ☆589Updated last year
• alpaca-lang / alpaca
  Functional programming inspired by ML for the Erlang VM
  ☆1,438Updated 4 years ago
• E-xyza / zigler
  zig nifs in elixir
  ☆758Updated last month
• llaisdy / beam_languages
  Languages, and about languages, on the BEAM
  ☆738Updated 2 years ago
• novaframework / nova
  Web framework for Erlang.
  ☆230Updated 2 weeks ago
• ponylang / ponycheck
  Property Based Testing for Ponylang 🐴 ✔️
  ☆59Updated 2 years ago
• josefs / Gradualizer
  A Gradual type system for Erlang
  ☆612Updated 3 months ago
• gleam-lang / otp
  📫 Fault tolerant multicore programs with actors
  ☆416Updated 2 weeks ago
• eirproject / eir
  Erlang ecosystem common IR
  ☆250Updated 3 years ago
• purerl / purerl
  Erlang backend for the PureScript compiler
  ☆330Updated 3 months ago
• npruehs / pony-game
  Game framework for creating DirectX games with Pony.
  ☆43Updated 8 years ago
• witchcrafters / algae
  Bootstrapped algebraic data types for Elixir
  ☆342Updated last year
• mmzeeman / esqlite
  Erlang NIF for sqlite
  ☆127Updated 3 months ago
• WhatsApp / erlfmt
  An automated code formatter for Erlang
  ☆408Updated 2 weeks ago
• jtfmumm / novitiate
  A procedurally generated RPG inspired by Rogue and written in Pony.
  ☆68Updated 4 years ago
• erlang / sourcer
  An Erlang language server, providing IDE services.
  ☆122Updated 2 years ago
• gren-lang / compiler
  Compiler for the Gren programming language
  ☆342Updated this week