snawaz / ray-tracers
Ray Tracer in Haskell
☆38Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for ray-tracers
- Haskell library for semigroup actions and torsors☆57Updated 8 months ago
- Keep your laziness in check!☆32Updated 2 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 3 years ago
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago
- ☆39Updated 4 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated last month
- Syntax highlighter for Haskell using the lexer of GHC☆59Updated 4 months ago
- Omit fields for instance deriving☆37Updated 4 years ago
- Conway's game of life in 100 lines or less!☆34Updated 7 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Haskus packages☆24Updated 2 weeks ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- type level sets☆67Updated 4 years ago
- ☆45Updated 2 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- ☆35Updated 3 years ago
- Symbol manipulation☆36Updated last year
- Haskell simulations of spacecraft manoeuvres☆18Updated 4 years ago
- Automatic type class law checking.☆24Updated 11 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- A fast paced arcade game☆52Updated 4 years ago
- Example uses of linear types☆42Updated 4 years ago
- ☆29Updated 5 years ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆117Updated 3 months ago
- Lean Haskell Benchmarking☆90Updated 2 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago