qobi / AD-Rosetta-StoneView external linksLinks
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:
- Public repository for the 2019 Parallel Functional Programming course at DIKU☆15Jan 13, 2020Updated 6 years ago
- Scheme to Common Lisp☆20Dec 16, 2023Updated 2 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 4 years ago
- ☆19Oct 14, 2018Updated 7 years ago
- ☆15Mar 6, 2021Updated 4 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
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Mar 22, 2021Updated 4 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 2 months ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆77Feb 22, 2018Updated 7 years ago
- Shaking expression trees until something tasty pops out☆17Oct 30, 2018Updated 7 years ago
- ☆22Jul 31, 2019Updated 6 years ago
- ALLVM Tools☆57Mar 23, 2022Updated 3 years ago
- A toolkit for enforcing logical specifications on neural networks☆121Feb 7, 2026Updated last week
- ☆29Jan 15, 2021Updated 5 years ago
- A graduate seminar on SMT solving and solver-aided systems☆28Jul 17, 2022Updated 3 years ago
- A Jupyter notebook project that implements Neural Style Transfer using Swift for TensorFlow.☆27May 3, 2019Updated 6 years ago
- ☆48Jan 30, 2026Updated 2 weeks ago
- Automatic Differentiation☆387Jan 20, 2026Updated 3 weeks 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☆399Sep 27, 2020Updated 5 years ago
- Binary analysis in HOL☆46Updated this week
- António Menezes Leitão's Linj project☆60Jun 22, 2013Updated 12 years ago
- ☆118Dec 18, 2022Updated 3 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 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…☆32Jul 20, 2021Updated 4 years ago
- generative programming & verification☆34Jun 19, 2025Updated 7 months ago
- Purely Functional, Final Tagless interpreter for the Befunge-93 esolang☆35Feb 14, 2018Updated 8 years ago
- ☆35Sep 11, 2023Updated 2 years ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- ☆13Jul 22, 2022Updated 3 years ago
- Cocoa interface code written in Lisp for use with Clozure Common Lisp (CCL)☆32Nov 16, 2017Updated 8 years ago
- Notes and handouts from OPLSS 2019☆34Jun 28, 2019Updated 6 years ago
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- Simple Akka HTTP project implemented to describe how to build Microservices with Consumer Driven Contracts testing approach☆11Feb 15, 2018Updated 8 years ago