Alternatives and similar repositories for chapel

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

• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,529Updated this week
• dlang / dmd
  dmd D Programming Language compiler
  ☆3,126Updated this week
• factor / factor
  Factor programming language
  ☆1,714Updated this week
• ponylang / ponyc
  Pony is an open-source, actor-model, capabilities-secure, high performance programming language
  ☆5,875Updated last week
• felix-lang / felix
  The Felix Programming Language
  ☆814Updated 8 months ago
• terralang / terra
  Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
  ☆2,807Updated 5 months ago
• Bears-R-Us / arkouda
  Arkouda (αρκούδα): Interactive Data Analytics at Supercomputing Scale
  ☆265Updated last week
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,455Updated 3 months ago
• owlbarn / owl
  Owl - OCaml Scientific Computing @ https://ocaml.xyz
  ☆1,275Updated last month
• morganstanley / hobbes
  A language and an embedded JIT compiler
  ☆1,177Updated last month
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,848Updated this week
• unisonweb / unison
  A friendly programming language from the future
  ☆6,037Updated this week
• StanfordLegion / legion
  The Legion Parallel Programming System
  ☆725Updated 2 months ago
• jsoftware / jsource
  J engine source mirror
  ☆693Updated this week
• aardappel / lobster
  The Lobster Programming Language
  ☆2,443Updated this week
• Frege / frege
  Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
  ☆3,656Updated 3 months ago
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,668Updated this week
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,498Updated 11 months ago
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆948Updated this week
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,324Updated 3 weeks ago
• flang-compiler / flang
  Flang is a Fortran language front-end designed for integration with LLVM.
  ☆831Updated last month
• ocaml / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆5,807Updated 2 weeks ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆745Updated last week
• typelead / eta
  The Eta Programming Language, a dialect of Haskell on the JVM
  ☆2,620Updated 2 years ago
• HigherOrderCO / Kind
  A modern proof language
  ☆3,674Updated 4 months ago
• ldc-developers / ldc
  The LLVM-based D Compiler.
  ☆1,268Updated last week
• arturo-lang / arturo
  Simple, expressive & portable programming language for efficient scripting
  ☆776Updated this week
• pharo-project / pharo
  Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
  ☆1,285Updated this week
• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,239Updated last week
• google / souper
  A superoptimizer for LLVM IR
  ☆2,243Updated 9 months ago