athas / raytracinginoneweekendinfuthark
Ray Tracing in One Weekend in Futhark
☆19Updated 3 years ago
Alternatives and similar repositories for raytracinginoneweekendinfuthark
Users that are interested in raytracinginoneweekendinfuthark are comparing it to the libraries listed below
Sorting:
- A Futhark implementation of Ray Tracing: the Next Week☆13Updated last year
- Library for writing interactive and visual Futhark programs☆22Updated 11 months ago
- Funslang is a pure functional shading language for graphics processors. It borrows heavily from ML and Haskell.☆43Updated 4 years ago
- Map lazy functional language constructs to LLVM IR☆50Updated 5 years ago
- Kempe is a compiled stack-based language☆58Updated 7 months ago
- ☆35Updated 6 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆50Updated 4 months ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- Haskell-centric Fast Accurate Curve Rasterizer☆24Updated 3 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- Absal ex☆57Updated last year
- NanoVG Haskell bindings☆22Updated 2 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Detect what files a program uses and rerun it when they change☆29Updated 2 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 3 months ago
- Polynomial Lens☆29Updated 2 years ago
- a self-hosting lambda calculus compiler☆35Updated last month
- Standard library for the Formality language☆18Updated 5 years ago
- A port of Falling Turnip from Haskell to Futhark and Go☆22Updated 6 months ago
- LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:☆87Updated last year
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆131Updated 4 years ago
- ☆47Updated 7 years ago
- Modular softsynth☆62Updated 9 years ago
- LLVM code generation in Haskell☆54Updated 6 months ago
- language verification, construction, and analysis☆20Updated 3 years ago
- A compiler for a simple language using llvm☆35Updated last year
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- Apple array system☆66Updated this week
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆117Updated 4 years ago