chapel-lang / chapelLinks
a Productive Parallel Programming Language
☆1,892Updated 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,536Updated this week
- Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.☆2,816Updated 2 weeks ago
- dmd D Programming Language compiler☆3,133Updated this week
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆5,883Updated 3 weeks ago
- Factor programming language☆1,726Updated last week
- A Proof-oriented Programming Language☆2,860Updated this week
- Flang is a Fortran language front-end designed for integration with LLVM.☆833Updated 2 months ago
- The Lobster Programming Language☆2,454Updated last week
- A Dependently Typed Functional Programming Language☆3,457Updated 4 months ago
- The Legion Parallel Programming System☆727Updated 3 weeks ago
- 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,372Updated 3 months ago
- A statically typed lisp, without a GC, for real-time applications.☆5,672Updated 7 months ago
- Koka language compiler and interpreter☆3,540Updated this week
- A superoptimizer for LLVM IR☆2,252Updated 10 months ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,280Updated 2 months ago
- The LLVM-based D Compiler.☆1,280Updated this week
- The MLton repository☆1,016Updated this week
- A dynamic language and bytecode vm☆3,891Updated this week
- The core OCaml system: compilers, runtime system, base libraries☆5,840Updated this week
- The Felix Programming Language☆814Updated 9 months ago
- Io programming language. Inspired by Self, Smalltalk and LISP.☆2,715Updated last year
- MirageOS is a library operating system that constructs unikernels☆2,696Updated last month
- A modern proof language☆3,681Updated 5 months ago
- The CompCert formally-verified C compiler☆1,995Updated 2 weeks ago
- A friendly programming language from the future☆6,072Updated this week
- Compiler for the Vale programming language - http://vale.dev/☆1,900Updated last year
- Agda is a dependently typed programming language / interactive theorem prover.☆2,659Updated last week
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,140Updated this week
- Simple, expressive & portable programming language for efficient scripting☆781Updated last week
- A lightweight LLVM python binding for writing JIT compilers☆2,088Updated last week