Alternatives and similar repositories for raytracinginoneweekendinfuthark

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

• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆307Updated 2 years ago
• athas / raytracingthenextweekinfuthark
  A Futhark implementation of Ray Tracing: the Next Week
  ☆14Updated 2 months ago
• AnyDSL / impala
  An imperative and functional programming language
  ☆161Updated 7 months ago
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆269Updated last year
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆131Updated 5 years ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆289Updated 5 years ago
• wilbowma / pl-thesaurus
  ☆90Updated 4 years ago
• gibbon-compiler / gibbon
  A compiler for functional programs on serialized data
  ☆173Updated this week
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆83Updated 8 years ago
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆133Updated 5 years ago
• bchallenor / funslang
  Funslang is a pure functional shading language for graphics processors. It borrows heavily from ML and Haskell.
  ☆44Updated 5 years ago
• thunderseethe / making-a-language
  Full Source Code for Making a Language series
  ☆60Updated 2 weeks ago
• diku-dk / lys
  Library for writing interactive and visual Futhark programs
  ☆22Updated 2 weeks ago
• Twinside / Rasterific
  A drawing engine in Haskell
  ☆143Updated 4 years ago
• vmchale / apple
  Apple array system
  ☆68Updated this week
• ollef / rock
  Build system
  ☆131Updated last month
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated 8 months ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆120Updated 4 years ago
• VictorTaelin / abstract-algorithm
  Optimal evaluator of λ-calculus terms.
  ☆282Updated 2 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆58Updated 2 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆72Updated 8 years ago
• Superstar64 / aith
  [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…
  ☆70Updated last year
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 3 years ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆271Updated 3 months ago
• VictorTaelin / absal-rs
  ☆35Updated 7 years ago
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆179Updated 4 years ago
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• BartoszMilewski / PolyLens
  Polynomial Lens
  ☆29Updated 2 years ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆78Updated 4 months ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 11 months ago