a fully-differentiable graphical raytracer
☆15Jul 29, 2015Updated 11 years ago
Alternatives and similar repositories for reversible-raytracer
Users that are interested in reversible-raytracer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Dec 7, 2017Updated 8 years ago
- JavaScript service worker that provides support for HTTP delta caching☆11Jun 16, 2017Updated 9 years ago
- Codebase for Global Neural CCG Parsing with Optimality Guarantees☆25Apr 27, 2017Updated 9 years ago
- Code for ICLR2018 paper: Improving GAN Training via Binarized Representation Entropy (BRE) Regularization - Y. Cao · W Ding · Y.C. Lui · …☆19Jun 12, 2018Updated 8 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 8 years ago
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- Torch implementation of the Deep Network for Global Optimization (DNGO)☆51Jul 26, 2016Updated 10 years ago
- Invoke SMT solvers from Coq to check obligations☆10Jun 16, 2020Updated 6 years ago
- Example project which shows how to do HTTP Requests in Elm☆10Jan 31, 2016Updated 10 years ago
- Github repository associated with Toronto Probabilistic Programming meetup☆15Jun 1, 2018Updated 8 years ago
- Asynchronous Advantage Actor Critic☆20Aug 15, 2016Updated 9 years ago
- A servant client written for GHCJS☆12Dec 6, 2016Updated 9 years ago
- A simple shellscript for splitting the PDF of a paper into the main body and an appendix.☆18Jun 1, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- GAN(TK)²: GAN Neural Tangent Kernel ToolKit☆13Jul 12, 2022Updated 4 years ago
- OpenVR Inspector shows extensive information on all available OpenVR devices, on all installed OpenVR applications, and prints incoming O…☆17Aug 15, 2017Updated 8 years ago
- fork of mantaflow (http://mantaflow.com/index.html)☆11Feb 10, 2017Updated 9 years ago
- ☆17Jul 23, 2022Updated 4 years ago
- Universal library for deep reinforcement learning.☆38Apr 15, 2016Updated 10 years ago
- An itree-like data-structure to additionally support internal non-determinism☆22Updated this week
- An Ivory library inspired by Atom☆15Oct 17, 2016Updated 9 years ago
- Knowledge Transfer for Melanoma Screening with Deep Learning☆11Feb 1, 2018Updated 8 years ago
- Research data management in biomedical and machine learning applications☆30Jul 15, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- gallina frontend for CompCert☆19Jul 6, 2019Updated 7 years ago
- a port of the Wavenet algorithm to generate poems (using Samuel Graván's @Zeta36 code).☆36May 30, 2017Updated 9 years ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 8 years ago
- Simple autograder for Haskell programming assignments☆18Feb 18, 2025Updated last year
- Mechanizing Types and Programming Languages using Beluga☆22May 29, 2020Updated 6 years ago
- The 4DVar data assimilation technique implemented with the Lorenz '63 model☆11Dec 12, 2017Updated 8 years ago
- Poly Toolkit for Unreal☆21Jun 24, 2019Updated 7 years ago
- FluidNet re-written with ATen tensor lib☆52Jun 17, 2019Updated 7 years ago
- Pytorch implementation of "Estimating the Success of Unsupervised Image to Image Translation" ECCV 2018☆18Apr 6, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Coq library providing tactics to deal with hypothesis☆23Apr 13, 2026Updated 3 months ago
- Code for "Message Scheduling for Performant, Many-Core Belief Propagation"☆12Oct 25, 2019Updated 6 years ago
- Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq☆20Jun 3, 2026Updated last month
- A CNN based project where trying to predict the breed of the dog in the image and detect human faces☆12Dec 8, 2022Updated 3 years ago
- Curve Plotting Web GUI for the math teacher (that uses LaTeX and Tikz or PSTricks)☆21Oct 26, 2016Updated 9 years ago
- Automatically exported from code.google.com/p/trellys☆47Jul 12, 2019Updated 7 years ago
- TensorFlow and Numpy implementation of sparsemax☆15Dec 22, 2019Updated 6 years ago