dcousens / RayTracerLinks
A Haskell implementation of Andrew Kensler's business card raytracer.
☆18Updated 3 years ago
Alternatives and similar repositories for RayTracer
Users that are interested in RayTracer are comparing it to the libraries listed below
Sorting:
- An untyped lambda calculus interpreter☆12Updated last year
- a programming language☆11Updated 5 years ago
- Haskell binding for PADS☆19Updated 6 years ago
- Haskell RSA Library☆20Updated 4 years ago
- A composable abstraction over retriable transactions for Hasql☆13Updated last month
- Superposition prover☆17Updated 2 years ago
- Bachelor's thesis 2019☆12Updated 2 years ago
- A DSL for generating GR(1) problems☆11Updated 4 years ago
- CHIP-8 virtual machine implementation in the Rust programming language☆13Updated 10 years ago
- ☆24Updated 10 years ago
- Packages for CloudABI☆21Updated 4 years ago
- A proof assistant.☆12Updated 9 years ago
- ☆21Updated 13 years ago
- You are trapped on an infinite tile floor along with murderous marbles☆11Updated 11 months ago
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- Multihash Haskell implementation☆28Updated 2 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated 3 weeks ago
- A dumb tool to mirror changes in a directory between hosts☆13Updated 8 years ago
- C Unit Testing Framework☆25Updated 6 years ago
- a git implementation in rust. yeah, I know..☆12Updated 9 years ago
- Writeup that goes along with this:☆15Updated 7 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- Haskell bindings for libNVVM☆19Updated 11 years ago
- beeswax Esoteric Programming Language☆15Updated 5 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 8 years ago
- This experiment is no longer available.☆10Updated 8 years ago
- Gidl: an Interface Description Language☆10Updated 8 years ago
- A language for matching two-dimensional patterns, based on Boolean grammars.☆13Updated 7 years ago
- A Python interpreter for the huh? programming language.☆10Updated 7 years ago
- A Haskell library implementing the Noise protocol.☆100Updated 7 months ago