chapel-lang / chapelLinks
a Productive Parallel Programming Language
☆1,925Updated this week
Alternatives and similar repositories for chapel
Users that are interested in chapel are comparing it to the libraries listed below
Sorting:
- A data-parallel functional programming language☆2,562Updated this week
- Flang is a Fortran language front-end designed for integration with LLVM.☆835Updated 4 months ago
- Factor programming language☆1,737Updated last week
- A Proof-oriented Programming Language☆2,879Updated this week
- The Mercury logic programming system.☆958Updated last week
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆5,926Updated 2 weeks ago
- Functional language with intensional polymorphism and first-class staging.☆938Updated 2 months ago
- Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.☆2,827Updated 2 months ago
- The Felix Programming Language☆817Updated 10 months ago
- J engine source mirror☆702Updated last week
- The Legion Parallel Programming System☆737Updated last month
- Agda is a dependently typed programming language / interactive theorem prover.☆2,684Updated this week
- Compiler for the Vale programming language - http://vale.dev/☆1,912Updated last year
- CakeML: A Verified Implementation of ML☆1,065Updated this week
- Dafny is a verification-aware programming language☆3,136Updated this week
- The Pyret language.☆1,098Updated last week
- The MLton repository☆1,013Updated last month
- A Dependently Typed Functional Programming Language☆3,463Updated 5 months ago
- Embedded language for high-performance array computations☆929Updated 2 months ago
- Koka language compiler and interpreter☆3,593Updated last week
- The CompCert formally-verified C compiler☆2,008Updated 3 weeks ago
- Io programming language. Inspired by Self, Smalltalk and LISP.☆2,724Updated last month
- A safe, easy systems language☆2,096Updated 3 weeks ago
- A language for GPU computing.☆1,187Updated 9 years ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,292Updated 3 months ago
- A purely functional programming language with first class types☆2,712Updated this week
- The Racket repository☆4,992Updated this week
- The Hylo programming language☆1,381Updated this week
- Systems language with linear types and capability-based security.☆1,366Updated 2 weeks ago
- A statically typed concatenative systems programming language.☆1,129Updated 2 years ago