Alternatives and similar repositories for ponyc:

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

• unisonweb / unison
  A friendly programming language from the future
  ☆6,001Updated this week
• purescript / purescript
  A strongly-typed language that compiles to JavaScript
  ☆8,705Updated 3 weeks ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,489Updated last week
• wren-lang / wren
  The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.
  ☆7,135Updated last month
• carp-lang / Carp
  A statically typed lisp, without a GC, for real-time applications.
  ☆5,646Updated 5 months ago
• gluon-lang / gluon
  A static, type inferred and embeddable language written in Rust.
  ☆3,304Updated 5 months ago
• crystal-lang / crystal
  The Crystal Programming Language
  ☆19,749Updated this week
• janet-lang / janet
  A dynamic language and bytecode vm
  ☆3,790Updated 2 weeks ago
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,458Updated 2 months ago
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,310Updated 3 weeks ago
• elm / compiler
  Compiler for Elm, a functional language for reliable webapps.
  ☆7,628Updated 9 months ago
• xi-editor / xi-editor
  A modern editor with a backend written in Rust.
  ☆19,815Updated last year
• iron / iron
  An Extensible, Concurrent Web Framework for Rust
  ☆6,124Updated 10 months ago
• rescript-lang / rescript
  ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
  ☆7,019Updated this week
• reasonml / reason
  Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
  ☆10,221Updated 3 weeks ago
• terralang / terra
  Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
  ☆2,797Updated 3 months ago
• lunatic-solutions / lunatic
  Lunatic is an Erlang-inspired runtime for WebAssembly
  ☆4,712Updated last month
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,503Updated this week
• nim-lang / Nim
  Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada a…
  ☆17,019Updated this week
• grain-lang / grain
  The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
  ☆3,344Updated last week
• red / red
  Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code com…
  ☆5,624Updated this week
• redox-os / redox
  Mirror of https://gitlab.redox-os.org/redox-os/redox
  ☆15,415Updated this week
• redox-os / tfs
  Mirror of https://gitlab.redox-os.org/redox-os/tfs
  ☆2,944Updated last year
• bytecodealliance / cranelift
  Cranelift code generator
  ☆2,493Updated 4 years ago
• rusterlium / rustler
  Safe Rust bridge for creating Erlang NIF functions
  ☆4,508Updated last week
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,833Updated this week
• elves / elvish
  Powerful scripting language & versatile interactive shell
  ☆5,925Updated last month
• aardappel / lobster
  The Lobster Programming Language
  ☆2,421Updated this week
• rust-bakery / nom
  Rust parser combinator framework
  ☆9,864Updated 2 months ago
• marcobambini / gravity
  Gravity Programming Language
  ☆4,378Updated 3 weeks ago