athas / raytracinginoneweekendinfutharkLinks
Ray Tracing in One Weekend in Futhark
☆19Updated 4 years ago
Alternatives and similar repositories for raytracinginoneweekendinfuthark
Users that are interested in raytracinginoneweekendinfuthark are comparing it to the libraries listed below
Sorting:
- Performance comparison of parallel ray tracing in functional programming languages☆307Updated 2 years ago
- A Futhark implementation of Ray Tracing: the Next Week☆13Updated 2 years ago
- An imperative and functional programming language☆157Updated 3 months ago
- Apple array system☆67Updated 3 weeks ago
- A small and expressive dependently typed language☆130Updated 5 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆75Updated 8 years ago
- A port of Falling Turnip from Haskell to Futhark and Go☆22Updated 9 months ago
- Falling sand game in cellular automata style.☆69Updated 12 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- Funslang is a pure functional shading language for graphics processors. It borrows heavily from ML and Haskell.☆43Updated 4 years ago
- A drawing engine in Haskell☆141Updated 4 years ago
- ☆35Updated 7 years ago
- Library for writing interactive and visual Futhark programs☆22Updated 3 weeks ago
- Absal ex☆58Updated last year
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 5 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆96Updated 3 years ago
- Dependent type checker using normalisation by evaluation☆265Updated last year
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 6 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆201Updated 5 years ago
- A compiler for functional programs on serialized data☆167Updated 2 months ago
- A black hole raytracer written in Haskell☆178Updated 3 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆63Updated last year
- ☆90Updated 3 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆56Updated 3 weeks ago
- 1ML prototype interpreter☆286Updated 5 years ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆132Updated 5 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆124Updated last year
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 6 years ago
- Kempe is a compiled stack-based language☆58Updated 11 months ago