Alternatives and similar repositories for raytracinginoneweekendinfuthark

Users that are interested in raytracinginoneweekendinfuthark are comparing it to the libraries listed below

• athas / raytracingthenextweekinfuthark
  A Futhark implementation of Ray Tracing: the Next Week
  ☆14Updated last month
• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆307Updated 2 years ago
• bchallenor / funslang
  Funslang is a pure functional shading language for graphics processors. It borrows heavily from ML and Haskell.
  ☆43Updated 5 years ago
• vmchale / apple
  Apple array system
  ☆68Updated 2 weeks ago
• AnyDSL / impala
  An imperative and functional programming language
  ☆160Updated 6 months ago
• diku-dk / lys
  Library for writing interactive and visual Futhark programs
  ☆22Updated last month
• Twinside / Rasterific
  A drawing engine in Haskell
  ☆143Updated 4 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆131Updated 5 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆58Updated 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• VictorTaelin / abstract-algorithm
  Optimal evaluator of λ-calculus terms.
  ☆282Updated 2 years ago
• VictorTaelin / absal-rs
  ☆35Updated 7 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 5 years ago
• tranma / falling-sand-game
  Falling sand game in cellular automata style.
  ☆70Updated 12 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆83Updated 8 years ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆269Updated last year
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆72Updated 8 years ago
• wilbowma / pl-thesaurus
  ☆90Updated 4 years ago
• deech / ATS-Strange-Loop-Talk
  ☆47Updated 8 years ago
• DataKinds / charm
  A [ functional stack ] based language.
  ☆30Updated 2 years ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆120Updated 4 years ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆23Updated last year
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated 7 months ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 10 months ago
• gibbon-compiler / gibbon
  A compiler for functional programs on serialized data
  ☆172Updated this week
• ollef / rock
  Build system
  ☆131Updated last month
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 2 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆64Updated 6 years ago