chapel-lang / chapel
a Productive Parallel Programming Language
☆1,862Updated this week
Alternatives and similar repositories for chapel:
Users that are interested in chapel are comparing it to the libraries listed below
- A data-parallel functional programming language☆2,498Updated this week
- Flang is a Fortran language front-end designed for integration with LLVM.☆821Updated 2 weeks ago
- A Proof-oriented Programming Language☆2,825Updated this week
- Arkouda (αρκούδα): Interactive Data Analytics at Supercomputing Scale☆260Updated last week
- Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.☆1,269Updated this week
- The MLton repository☆1,004Updated last month
- A superoptimizer for LLVM IR☆2,218Updated 7 months ago
- Functional language with intensional polymorphism and first-class staging.☆930Updated this week
- Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.☆2,794Updated 3 months ago
- Factor programming language☆1,703Updated last week
- The CompCert formally-verified C compiler☆1,967Updated this week
- Koka language compiler and interpreter☆3,478Updated this week
- A Dependently Typed Functional Programming Language☆3,454Updated 2 months ago
- The Legion Parallel Programming System☆718Updated 3 weeks ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,266Updated last month
- The Mercury logic programming system.☆943Updated this week
- The LLVM-based D Compiler.☆1,253Updated this week
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,619Updated 2 years ago
- Dafny is a verification-aware programming language☆3,048Updated this week
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆5,834Updated this week
- The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs☆1,292Updated last week
- A purely functional programming language with first class types☆2,646Updated this week
- A statically typed lisp, without a GC, for real-time applications.☆5,640Updated 4 months ago
- The Felix Programming Language☆809Updated 7 months ago
- The P programming language.☆3,272Updated this week
- Systems language with linear types and capability-based security.☆1,265Updated 2 weeks ago
- A lightweight LLVM python binding for writing JIT compilers☆2,044Updated this week
- A modern Prolog implementation written mostly in Rust.☆2,194Updated this week
- Official main repository for LFortran☆1,052Updated this week
- The Lobster Programming Language☆2,415Updated this week