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
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated last month
• DavidJaz / DynamicalSystemsBook
  ☆50Updated last year
• andrejbauer / marshall
  Real number computation software
  ☆127Updated 3 years ago
• michalkonecny / aern2
  A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
  ☆23Updated last month
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆93Updated last year
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆45Updated 4 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆52Updated last month
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆41Updated 6 years ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆40Updated this week
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆54Updated last week
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• Magalame / fastest-matrices
  Benchmark of the main linear algebra libraries in Haskell
  ☆25Updated 5 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆35Updated this week
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆65Updated 3 years ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated last year
• cmu-phil / Spectral
  ☆47Updated 2 years ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 3 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• dselsam / tc
  Reference type checker for the Lean theorem prover
  ☆16Updated 7 years ago
• xgrommx / agda-ecosystem
  ☆32Updated 7 years ago
• dlicata335 / hott-agda
  ☆84Updated 8 years ago
• pis147879 / PELCR
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated 3 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆82Updated 5 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆44Updated 12 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 6 years ago
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆36Updated 5 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago