Alternatives and similar repositories for ADPfusion

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

• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆47Updated 4 years ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 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 months ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆40Updated last week
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆36Updated last month
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆27Updated 3 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated 2 weeks ago
• DavidJaz / DynamicalSystemsBook
  ☆51Updated last year
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆40Updated 3 years ago
• dselsam / tc
  Reference type checker for the Lean theorem prover
  ☆17Updated 7 years ago
• andrejbauer / marshall
  Real number computation software
  ☆128Updated 3 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆53Updated last week
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆57Updated last week
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆26Updated last year
• cedille / ial
  The Iowa Agda Library
  ☆49Updated last month
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated 2 weeks ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆42Updated 6 years ago
• fizruk / simple-topes
  Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.
  ☆18Updated 2 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆65Updated 4 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• avigad / qpf
  Datatypes as quotients of polynomial functors
  ☆36Updated 5 years ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆44Updated 5 years ago
• rwbarton / advent-of-lean-4
  Advent of Code 2020 solutions in Lean 4
  ☆26Updated 4 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago