Alternatives and similar repositories for haskell-raytracing

Users that are interested in haskell-raytracing are comparing it to the libraries listed below

• stefan-hoeck / idris2-array
  Immutable and mutable (linear) arrays
  ☆9Updated last week
• alt-romes / ghengin
  Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
  ☆56Updated last week
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆30Updated last year
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆41Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 2 months ago
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆43Updated 3 months ago
• taolson / Admiran
  Admiran compiler, library, and examples
  ☆62Updated this week
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated 11 months ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 9 months ago
• cdupont / Timeloop
  ☆41Updated last year
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆57Updated 11 months ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆26Updated 2 months ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 7 months ago
• gelisam / typechecker-combinators
  ☆17Updated last year
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆86Updated last month
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 7 months ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 6 months ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆30Updated 4 months ago
• nomeata / haskell-via-sokoban
  A haskell tutorial using CodeWorld
  ☆19Updated 4 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 4 months ago
• brendanzab / lean-holes
  Interactive holes for Lean 4
  ☆19Updated last year
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆32Updated 7 months ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆48Updated 2 years ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆53Updated 11 months ago
• lexi-lambda / talks
  ☆44Updated last year
• keithfancher / haskell-notes
  Learn me a Haskell, finally. (And you can too!)
  ☆48Updated 8 months ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 5 months ago
• Lysxia / gradual-eff-paper
  ☆17Updated last year