futhark
Functional programming language
A data-parallel functional programming language with high-performance parallel code generation for CPUs and GPUs.
A data-parallel functional programming language
2k stars
66 watching
165 forks
Language: Haskell
last commit: 6 days ago
Linked from 2 awesome lists
boomcompilercudafutharkgpgpugpuhacktoberfesthpclanguageopencl
xgrommx/awesome-functional-programming
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 argumentcomputer/lurk-beta | A statically scoped Lisp-like language for proving computational claims using zk-SNARKs with an elliptic curve backend. | 434 |
 fubark/cyber | A fast and concurrent scripting language that can be embedded into various applications and platforms. | 1,223 |
 koka-lang/koka | A research language with effect types and handlers for building concurrent, efficient programs | 3,313 |
 fuechs/fux | A modern programming language designed to eliminate common issues and provide efficient performance while being easy to write and read. | 11 |
 svenschmidt75/functional | An exploration of Haskell's functional programming capabilities, with a focus on practical applications and software development concepts. | 0 |
 japiirainen/fp | A small, experimental programming language with unique features and a Haskell implementation. | 102 |
 mrakgr/the-spiral-language | A functional programming language with advanced features like intensional polymorphism and staging, designed to support high-performance computations on GPUs. | 924 |
 clash-lang/clash-compiler | A compiler that transforms high-level Haskell descriptions into synthesizable hardware descriptions. | 1,442 |
 fika-lang/fika | A statically typed functional programming language for the web built on top of Elixir | 226 |
 barbuz/husk | A functional programming language that combines golfing and simplification of code through type inference. | 75 |
 nikodemus/foolang | A Smalltalk-inspired language with goals of elegance, performance, fault tolerance, and multiplatform support. | 37 |
 hamler-lang/hamler | A Haskell-style functional programming language designed to run on the Erlang Virtual Machine (BEAM), focusing on compile-time type checking and concurrency. | 1,028 |
 compsec-snu/difuzz-rtl | An approach to fuzz testing CPU designs using differential coverage analysis and random instruction mutation | 74 |
 pmunch/futhark | A tool that automates the process of wrapping C headers in Nim, allowing users to import and use C libraries directly in their code without manual intervention. | 393 |
 damsl/k3 | Builds large-scale data systems by separating design and implementation concerns with a high-level, declarative language framework. | 15 |