Alternatives and similar repositories for ADPfusion

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

• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated 2 weeks ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆45Updated 4 years ago
• DavidJaz / DynamicalSystemsBook
  ☆49Updated last year
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆39Updated last week
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 11 months ago
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆40Updated 3 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆52Updated 2 weeks ago
• leanprover / KLR
  A formalization of ML kernel languages
  ☆24Updated this week
• cmu-phil / Spectral
  ☆47Updated 2 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆54Updated last month
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 3 years ago
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated 2 years ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 3 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 11 months ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆34Updated this week
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 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 2 weeks ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated last year
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆90Updated 7 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated this week
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆86Updated 2 months ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 11 months ago
• fizruk / simple-topes
  Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.
  ☆18Updated 2 years ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆54Updated 2 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated last year