Alternatives and similar repositories for haskell-raytracing:

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

• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆68Updated last month
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆20Updated last year
• lexi-lambda / talks
  ☆44Updated last year
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• RubenVerg / TinyAPL
  TinyAPL, a tiny APL dialect and interpreter in Haskell
  ☆53Updated 2 weeks ago
• cdupont / Timeloop
  ☆41Updated last year
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 5 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• cedille / ial
  The Iowa Agda Library
  ☆47Updated 3 months ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆41Updated last year
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last month
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 5 months ago
• idris-community / idris2-mode
  Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
  ☆25Updated 3 months ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated 9 months ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆43Updated last week
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 6 months ago
• matthunz / view-monad
  ☆24Updated 8 months ago
• Russoul / Idris2-Effect
  Experimental effects library for Idris 2
  ☆42Updated 2 years ago
• stefan-hoeck / idris2-rhone
  ☆18Updated 11 months ago
• taolson / Admiran
  Admiran compiler, library, and examples
  ☆60Updated last week
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆26Updated 2 weeks ago
• serokell / blog-posts
  The place for submitting new articles to the Serokell blog.
  ☆16Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 2 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆50Updated 3 months ago
• lexi-lambda / racket-commonmark
  Fast, CommonMark-compliant Markdown parser written in Racket
  ☆32Updated 5 months ago
• keithfancher / haskell-notes
  Learn me a Haskell, finally. (And you can too!)
  ☆45Updated 6 months ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆34Updated 5 months ago