Alternatives and similar repositories for raytracinginoneweekendinfuthark

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

• diku-dk / lys
  Library for writing interactive and visual Futhark programs
  ☆22Updated last year
• athas / raytracingthenextweekinfuthark
  A Futhark implementation of Ray Tracing: the Next Week
  ☆13Updated last year
• snawaz / ray-tracers
  Ray Tracer in Haskell
  ☆38Updated 2 weeks ago
• vmchale / apple
  Apple array system
  ☆66Updated last week
• bchallenor / funslang
  Funslang is a pure functional shading language for graphics processors. It borrows heavily from ML and Haskell.
  ☆43Updated 4 years ago
• AnyDSL / impala
  An imperative and functional programming language
  ☆153Updated last month
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 8 months ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆22Updated 7 months ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 5 months ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• VictorTaelin / absal-rs
  ☆35Updated 6 years ago
• tranma / falling-sand-game
  Falling sand game in cellular automata style.
  ☆69Updated 12 years ago
• 0xd34df00d / refinedt
  Refinement types + dependent types = ❤️
  ☆58Updated 2 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆82Updated 2 months ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆122Updated 5 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆70Updated 8 years ago
• evertedsphere / shorshe
  freshly-fermented, dependently-typed mustard, with a substructural aftertaste
  ☆31Updated 5 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆9Updated 5 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆72Updated 8 years ago
• MaxOw / computational-geometry
  Collection of algorithms in Computational Geometry.
  ☆18Updated 7 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆52Updated 8 years ago
• jaredloomis / Haskell-OpenGL
  A strongly-typed, functional rendering/game engine
  ☆26Updated 10 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆69Updated 5 years ago
• conal / talk-2018-deep-learning-rebooted
  "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin
  ☆52Updated 5 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• ollef / Bidirectional
  Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
  ☆131Updated 4 years ago
• DataKinds / charm
  A [ functional stack ] based language.
  ☆29Updated last year
• ollef / sixty
  Dependent type checker using normalisation by evaluation
  ☆262Updated 9 months ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago