Alternatives and similar repositories for ADPfusion:

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

• DavidJaz / DynamicalSystemsBook
  ☆46Updated 9 months ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• michalkonecny / aern2
  A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
  ☆23Updated 3 months ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 3 years ago
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆39Updated 2 years ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆77Updated last year
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆29Updated 4 years ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated 11 months ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated 2 years ago
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 5 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• cmu-phil / Spectral
  ☆45Updated last year
• jtobin / declarative
  DIY Markov Chains.
  ☆25Updated 3 months ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆50Updated 8 months ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 9 years ago
• peterlefanulumsdaine / cartmell-thesis
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆15Updated last year
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 6 years ago
• felixwellen / synthetic-geometry
  Synthetic geometry. Probably mostly algebraic geometry.
  ☆23Updated last year
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆78Updated 4 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 13 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year