lambdacube-compiler
fir
lambdacube-compiler | fir | |
---|---|---|
2 | 3 | |
84 | - | |
- | - | |
0.0 | - | |
7 months ago | - | |
Haskell | ||
BSD 3-clause "New" or "Revised" License | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
lambdacube-compiler
-
A functional shading langauge
http://lambdacube3d.com/ is a Haskell-like GPU programming language that compiles to WebGL1.0/GLES2.0/GL3.3. IIRC it also has partially dependent types.
-
Is Haskell capable of this?
However, it's certainly possible to build purely functional abstractions on the top of existing imperative solutions, and you already found one example, GPipe. Another one is lambdacube 3d
fir
-
HVM, the parallel functional runtime, will soon run on GPUs!
Have you considered FIR for generating Vulcan shaders to hand off to GPUs?
-
Is Haskell capable of this?
[2] https://gitlab.com/sheaf/fir
-
An Epic future for SPJ
Meanwhile, there's a shader programming EDSL, sponsored by Epic: https://gitlab.com/sheaf/fir
What are some alternatives?
uu-cco - Tools for the CCO (Compiler Construction) course at the UU (Utrecht University)
monomer - An easy to use, cross platform, GUI library for writing Haskell applications.
hyper-haskell-server - The strongly hyped Haskell interpreter.
Functional-Benchmarks - Collection of benchmarks of functional programming languages and proof assistants.
dhall - Maintainable configuration files
fudgets - A copy of Fudgets so that I can more easily include it as a dependency in a cabal.project file
binaryen - DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
HVM - A massively parallel, optimal functional runtime in Rust
llvm-hs-pretty - Pretty printer for LLVM AST to Textual IR
Kind2 - A next-gen functional language [Moved to: https://github.com/Kindelia/Kind]
egison - The Egison Programming Language
reflex - Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.