diku-dk / futhark
A data-parallel functional programming language
☆2,493Updated this week
Alternatives and similar repositories for futhark:
Users that are interested in futhark are comparing it to the libraries listed below
- Koka language compiler and interpreter☆3,466Updated last week
- A programming language with static memory management based on λ-calculus☆994Updated 2 weeks ago
- A statically typed lisp, without a GC, for real-time applications.☆5,632Updated 4 months ago
- A purely functional programming language with first class types☆2,627Updated this week
- A modern proof language☆3,650Updated 2 months ago
- Agda is a dependently typed programming language / interactive theorem prover.☆2,605Updated this week
- A Dependently Typed Functional Programming Language☆3,450Updated last month
- A Proof-oriented Programming Language☆2,815Updated this week
- A safe, easy systems language☆1,964Updated this week
- A friendly programming language from the future☆5,960Updated this week
- Systems language with linear types and capability-based security.☆1,225Updated this week
- A static, type inferred and embeddable language written in Rust.☆3,289Updated 3 months ago
- Functional language with intensional polymorphism and first-class staging.☆929Updated 3 weeks ago
- The Flix Programming Language☆2,255Updated this week
- A dynamic language and bytecode vm☆3,750Updated this week
- Programming Languages Zoo☆1,484Updated 9 months ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,259Updated 3 weeks ago
- Algebraic data types for C99☆1,400Updated 2 weeks ago
- A statically typed concatenative systems programming language.☆1,115Updated last year
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,618Updated 2 years ago
- Maintainable configuration files☆4,284Updated 2 weeks ago
- lamdu - towards the next generation IDE☆1,866Updated last week
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,967Updated 2 years ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,602Updated 2 years ago
- The Mercury logic programming system.☆942Updated this week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,037Updated last year
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆5,816Updated this week
- A modern Prolog implementation written mostly in Rust.☆2,178Updated 2 weeks ago
- Factor programming language☆1,697Updated last week
- CakeML: A Verified Implementation of ML☆1,012Updated this week