Slowyn / haskell-raytracing
My take on writing 'Ray Tracing in One Weekend' with Haskell
☆14Updated 4 months ago
Alternatives and similar repositories for haskell-raytracing:
Users that are interested in haskell-raytracing are comparing it to the libraries listed below
- A type-safe and friendly ECS for Haskell☆43Updated this week
- ☆41Updated last year
- A compiler that translates a form of lambda calculus to C☆12Updated 9 months ago
- Algebraic effects in the Bluefin effect system☆14Updated 8 months ago
- A haskell tutorial using CodeWorld☆18Updated 3 weeks ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 6 months ago
- Linear lens☆20Updated 11 months ago
- Extremely composable embeddable programming language☆21Updated this week
- Rough and Ready Haskell Notebooks with HLS and VS Code☆45Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated last year
- ☆16Updated 9 months ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- Haskell library for type-inference with Hindley-Milner type-system.☆33Updated 7 months ago
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 4 months ago
- ☆17Updated last year
- Lambda normalization and conversion checking benchmarks for various implementations☆54Updated 3 years ago
- Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)☆34Updated last week
- Using cabal-install as SAT solver☆13Updated last year
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆11Updated last month
- Demo for dependent types + runtime code generation☆65Updated last month
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆89Updated 5 months ago
- LLVM code generation in Haskell☆54Updated 3 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- The Iowa Agda Library☆47Updated last month
- ☆80Updated 2 weeks ago
- ☆24Updated 2 years ago
- Type-safe WebAssembly eDSL in Haskell☆23Updated 3 months ago
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- ☆20Updated 2 months ago
- Opinionated package manager for haskell (WIP)☆17Updated last year