Alternatives and similar repositories for haskell-raytracing

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

• taolson / Admiran
  Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆85Updated this week
• nicuveo / pietre
  Compiler for a small stack-based imperative language, targeting the Piet language.
  ☆14Updated last month
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆132Updated 6 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.
  ☆49Updated 11 months ago
• Lysxia / advent-of-coq-2021
  ☆44Updated 4 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆65Updated 8 months ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated this week
• haskelltoo / mhc
  The Montreal Haskell Compiler
  ☆26Updated 3 months ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆54Updated 3 months ago
• fir-lang / fir
  Fir programming language
  ☆91Updated last week
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆41Updated last week
• Octachron / roguetype
  The first ever roguelike written in the OCaml type system
  ☆94Updated 10 months ago
• rzrn / anders
  Anders: Cubical Type Checker
  ☆23Updated 2 years ago
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated 2 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated 4 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆40Updated 4 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 11 months ago
• keithfancher / haskell-notes
  Learn me a Haskell, finally. (And you can too!)
  ☆48Updated last year
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆10Updated 10 months ago
• BartoszMilewski / LinearLens
  Linear lens
  ☆21Updated last year
• cedille / ial
  The Iowa Agda Library
  ☆53Updated 2 months ago
• b4er / recalc
  functional spreadsheet programming
  ☆23Updated 10 months ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆30Updated 3 years ago
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆54Updated 2 years ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆124Updated 2 weeks ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆65Updated 2 months ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆42Updated 3 weeks ago
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆132Updated last year
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated last year