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,591Updated this week
• flang-compiler / flang
  Flang is a Fortran language front-end designed for integration with LLVM.
  ☆841Updated 6 months ago
• dlang / dmd
  dmd D Programming Language compiler
  ☆3,156Updated this week
• terralang / terra
  Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
  ☆2,834Updated 3 months ago
• ponylang / ponyc
  Pony is an open-source, actor-model, capabilities-secure, high performance programming language
  ☆5,947Updated this week
• factor / factor
  Factor programming language
  ☆1,755Updated this week
• StanfordLegion / legion
  The Legion Parallel Programming System
  ☆745Updated last week
• owlbarn / owl
  Owl - OCaml Scientific Computing @ https://ocaml.xyz
  ☆1,304Updated 2 weeks ago
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆968Updated this week
• felix-lang / felix
  The Felix Programming Language
  ☆816Updated last year
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,901Updated this week
• mratsim / Arraymancer
  A fast, ergonomic and portable tensor library in Nim with a deep learning focus for CPU, GPU and embedded devices via OpenMP, Cuda and Op…
  ☆1,378Updated 7 months ago
• jsoftware / jsource
  J engine source mirror
  ☆706Updated this week
• ocaml / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆5,980Updated this week
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,681Updated this week
• google-research / dex-lang
  Research language for array processing in the Haskell/ML family
  ☆1,633Updated 8 months ago
• spack / spack
  A flexible package manager that supports multiple versions, configurations, platforms, and compilers.
  ☆4,806Updated this week
• MLton / mlton
  The MLton repository
  ☆1,019Updated this week
• IoLanguage / io
  Io programming language. Inspired by Self, Smalltalk and LISP.
  ☆2,729Updated 3 weeks ago
• aardappel / lobster
  The Lobster Programming Language
  ☆2,520Updated last week
• Bears-R-Us / arkouda
  Arkouda (αρκούδα): Interactive Data Analytics at Supercomputing Scale
  ☆271Updated this week
• lfortran / lfortran
  Official main repository for LFortran
  ☆1,130Updated this week
• flix / flix
  The Flix Programming Language
  ☆2,497Updated this week
• ldc-developers / ldc
  The LLVM-based D Compiler.
  ☆1,298Updated last week
• AbsInt / CompCert
  The CompCert formally-verified C compiler
  ☆2,038Updated last month
• rocq-prover / rocq
  The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…
  ☆5,225Updated this week
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,750Updated last week
• nim-lang / nimble
  Package manager for the Nim programming language.
  ☆1,325Updated 2 weeks ago
• morganstanley / hobbes
  A language and an embedded JIT compiler
  ☆1,183Updated 5 months ago
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,467Updated 7 months ago