Examples of Automatic Differentiation (AD) in many different languages and systems
☆27Jun 25, 2018Updated 7 years ago
Alternatives and similar repositories for AD-Rosetta-Stone
Users that are interested in AD-Rosetta-Stone are comparing it to the libraries listed below
Sorting:
- Library for displaying small previews of Tensors. Useful for working with TensorFlow in Swift.☆13Dec 27, 2021Updated 4 years ago
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 6 months ago
- Public repository for the 2019 Parallel Functional Programming course at DIKU☆15Jan 13, 2020Updated 6 years ago
- ☆15Mar 6, 2021Updated 5 years ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Mar 25, 2016Updated 9 years ago
- a fork of net.sourceforge.wilbur updated for mcl and sbcl☆26Sep 15, 2021Updated 4 years ago
- Parallel ML benchmark suite☆21Dec 8, 2025Updated 3 months ago
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Mar 22, 2021Updated 4 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆77Feb 22, 2018Updated 8 years ago
- ☆22Jul 31, 2019Updated 6 years ago
- Shaking expression trees until something tasty pops out☆17Oct 30, 2018Updated 7 years ago
- A toolkit for enforcing logical specifications on neural networks☆123Updated this week
- COBAYN: Compiler Autotuning Framework Using Bayesian Networks☆20May 9, 2022Updated 3 years ago
- A graduate seminar on SMT solving and solver-aided systems☆29Jul 17, 2022Updated 3 years ago
- A Jupyter notebook project that implements Neural Style Transfer using Swift for TensorFlow.☆27May 3, 2019Updated 6 years ago
- A Clojure iteration macro inspired by Common Lisp iterate.☆46Aug 8, 2010Updated 15 years ago
- ☆29Jan 15, 2021Updated 5 years ago
- Cooperative Primitives for CUDA C++ Kernel Authors. This repository contains CUB PRs from Q4 2019 until Q4 2020.☆22Sep 23, 2020Updated 5 years ago
- Staged Abstract Interpreters☆69Mar 13, 2023Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Jan 27, 2022Updated 4 years ago
- stalin brutally optimizing Scheme compiler, with Debianization patches☆400Sep 27, 2020Updated 5 years ago
- António Menezes Leitão's Linj project☆60Jun 22, 2013Updated 12 years ago
- Binary analysis in HOL☆46Feb 13, 2026Updated 3 weeks ago
- Higher-order, higher-order automatic differentiation☆30Jan 24, 2020Updated 6 years ago
- ☆51Jan 30, 2026Updated last month
- ☆117Dec 18, 2022Updated 3 years ago
- Running the code you want to write as fast as the code you have to write☆140Oct 16, 2016Updated 9 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆33Jul 20, 2021Updated 4 years ago
- generative programming & verification☆34Jun 19, 2025Updated 8 months ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- ☆35Sep 11, 2023Updated 2 years ago
- Purely Functional, Final Tagless interpreter for the Befunge-93 esolang☆36Feb 14, 2018Updated 8 years ago
- ☆13Jul 22, 2022Updated 3 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆82Oct 24, 2021Updated 4 years ago
- SAW front end for the MIR language from rustc☆36Jan 12, 2021Updated 5 years ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- Interactive data visualization library for Swift☆82Feb 13, 2021Updated 5 years ago
- Eclipse Common Lisp Editor☆35Jan 10, 2021Updated 5 years ago
- Cocoa interface code written in Lisp for use with Clozure Common Lisp (CCL)☆32Nov 16, 2017Updated 8 years ago