Alternatives and similar repositories for ADPfusion

Users that are interested in ADPfusion are comparing it to the libraries listed below

• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆42Updated this week
• michalkonecny / aern2
  A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
  ☆23Updated 4 months ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• expipiplus1 / exact-real
  Exact real arithmetic in Haskell
  ☆25Updated 4 years ago
• cmu-phil / Spectral
  ☆48Updated 2 years ago
• andrejbauer / marshall
  Real number computation software
  ☆129Updated 3 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated last year
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆42Updated 6 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆57Updated last month
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆16Updated 2 weeks ago
• DavidJaz / DynamicalSystemsBook
  ☆51Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated 2 weeks ago
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆26Updated 2 years ago
• dselsam / tc
  Reference type checker for the Lean theorem prover
  ☆17Updated 7 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 3 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆54Updated 2 months ago
• xgrommx / agda-ecosystem
  ☆32Updated 7 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆37Updated last week
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 3 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆39Updated 5 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆32Updated 5 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆52Updated last year
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 4 years ago