Slowyn / haskell-raytracingLinks
My take on writing 'Ray Tracing in One Weekend' with Haskell
☆15Updated last month
Alternatives and similar repositories for haskell-raytracing
Users that are interested in haskell-raytracing are comparing it to the libraries listed below
Sorting:
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆78Updated last week
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.☆45Updated 7 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated 2 weeks ago
- ☆44Updated 3 years ago
- A list of awesome libraries for BQN.☆32Updated 2 weeks ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- Javascript DOM bindings for Idris2☆52Updated 2 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆59Updated 4 months ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆65Updated last week
- The Montreal Haskell Compiler☆25Updated this week
- Source material for Certainty by Construction☆44Updated last year
- Fir programming language☆73Updated this week
- Programming with pure lambda calculus☆121Updated 3 weeks ago
- Competitive programming utilities in Haskell☆39Updated this week
- Apple array system☆67Updated last week
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆71Updated last month
- Pretty-print error messages of the ATS Compiler☆37Updated 6 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 7 months ago
- A haskell tutorial using CodeWorld☆19Updated 8 months ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆35Updated this week
- Learn me a Haskell, finally. (And you can too!)☆48Updated last year
- Compiler for a small stack-based imperative language, targeting the Piet language.☆13Updated this week
- Agda lecture notes for the Functional Programming course at TU Delft☆128Updated 2 months ago
- Reimplementation of a subset of Cabal☆32Updated this week
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆123Updated 9 months ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆41Updated 8 months ago
- The Iowa Agda Library☆49Updated last week
- The first ever roguelike written in the OCaml type system☆90Updated 5 months ago
- ☆18Updated last year
- Я - extremely composable embeddable programming language☆87Updated this week