The simple essence of automatic differentiation
☆201Jan 30, 2021Updated 5 years ago
Alternatives and similar repositories for talk-2018-essence-of-ad
Users that are interested in talk-2018-essence-of-ad are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Paper: The simple essence of automatic differentiation☆23Nov 9, 2018Updated 7 years ago
- Compiling to Categories☆460Feb 28, 2024Updated 2 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Jul 1, 2022Updated 4 years ago
- typesafe implementation of tensor algebra in Haskell☆13Feb 27, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Performance shootout of various trie implementations☆18May 30, 2019Updated 7 years ago
- An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"☆17Jan 26, 2018Updated 8 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- A SAT-Sampler aided language for experimental design, targeted for Psychology & Neuroscience☆19May 4, 2018Updated 8 years ago
- Turn GHC `-pj` profiling output into FlameGraph format.☆13Mar 2, 2018Updated 8 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆192Jun 5, 2025Updated last year
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- Numerical computation in native Haskell☆95Jan 16, 2026Updated 7 months ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- A fast, cache-efficient, concurrent bloom filter in Haskell☆19Apr 11, 2018Updated 8 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- My favorite quotes☆17Oct 12, 2025Updated 10 months ago
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆19Jul 23, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Oct 10, 2024Updated last year
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Sep 11, 2024Updated last year
- High performance type safe html generation☆129Jul 25, 2022Updated 4 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 9 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆81Feb 20, 2020Updated 6 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Jun 1, 2017Updated 9 years ago
- Directed Acyclic Graphs☆21Jan 12, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Financial datetimes and holiday recurrence rules☆18Jul 2, 2020Updated 6 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Aug 11, 2017Updated 9 years ago
- Quantitative Type Theory implementation☆54Jun 2, 2021Updated 5 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆18Mar 17, 2019Updated 7 years ago
- DiffusionKinetics open-source monorepo☆116Jan 10, 2023Updated 3 years ago
- Folds for recursive types with GHC Generics☆29Apr 13, 2026Updated 4 months ago
- 🖼️ the compiling to closed categories compiler☆66Apr 17, 2018Updated 8 years ago