Code snippets accompanying the talk "Automatic Differentiation in Haskell."
☆19Apr 25, 2020Updated 5 years ago
Alternatives and similar repositories for AutoDiff
Users that are interested in AutoDiff are comparing it to the libraries listed below
Sorting:
- A collection of computational methods in science.☆12Jan 6, 2017Updated 9 years ago
- Neural Error Mitigation of Near-Term Quantum Simulations (arXiv:2105.08086)☆10Jul 6, 2022Updated 3 years ago
- contains data to be used with machine learning☆10Jul 28, 2017Updated 8 years ago
- An experimental test runner for LookML models.☆11Sep 17, 2021Updated 4 years ago
- Haskell charting library☆10Aug 21, 2021Updated 4 years ago
- Forward messages to collaborators in East-oriented style.☆14Oct 18, 2025Updated 4 months ago
- Union mount in Haskell, with fsnotify☆12Dec 23, 2025Updated 2 months ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 8 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- Tutorial on modeling with TLA+☆24Oct 7, 2025Updated 4 months ago
- List of interactive prompt helpers to pimp the UIs of your haskell programs☆13Aug 26, 2023Updated 2 years ago
- ☆11Mar 13, 2023Updated 2 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- ☆12May 22, 2016Updated 9 years ago
- Arc4 controlled "tape" playback☆11Mar 21, 2017Updated 8 years ago
- Handle POSIX cron schedules.☆13Updated this week
- Telugu + Latin☆11Apr 29, 2021Updated 4 years ago
- A set of scripts to do nightly testing on Pantheon of the latest WordPress commits☆11Mar 8, 2022Updated 3 years ago
- A simple example of integrating TypeScript and Haskell.☆13Aug 25, 2021Updated 4 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- Type safe SQL query combinator in haskell☆10Jun 20, 2020Updated 5 years ago
- ☆10Sep 9, 2023Updated 2 years ago
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- Lose Control, Gain Influence.☆12Jun 19, 2025Updated 8 months ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 2 years ago
- Solutions to the Meta practice coding challenges.☆17Dec 9, 2024Updated last year
- A collection of mathematical algorithms implemented in Zig, designed to address specific mathematical problems with simple command-line i…☆17Aug 5, 2025Updated 6 months ago
- Interactive, web-based visual math assistant☆12Feb 17, 2026Updated 2 weeks ago
- Manage CloudFormation Stacks through specifications☆13Updated this week
- OCaml bindings to the Spotify web API☆17Oct 24, 2020Updated 5 years ago
- With layoutline.js find out what kind of keyboard layout your user has just by swiping the keyboard characters in lines.☆15Aug 6, 2018Updated 7 years ago
- (backup fork since google code is going down)☆12Mar 12, 2015Updated 10 years ago
- A distributed logger for Elixir☆11Jul 18, 2018Updated 7 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 7 years ago
- This project is an implementation of a physical dynamics environment which can be controlled via OSC, so that audio projects such as Pure…☆16May 8, 2019Updated 6 years ago
- Tools to build JSON-RPC clients and servers the Servant way☆10Sep 28, 2024Updated last year
- ☆14Apr 8, 2022Updated 3 years ago
- An Agda formalisation of the theory of directed containers☆12Apr 25, 2025Updated 10 months ago
- Ruby virtual DOM for HTML☆56Oct 12, 2018Updated 7 years ago