friedbrice / AutoDiff

Related projects ⓘ

Alternatives and complementary repositories for AutoDiff

• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆56Updated 4 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆28Updated 4 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆39Updated last year
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• ejconlon / analyze
  making data science easy and safe with data frames in haskell
  ☆27Updated 7 years ago
• mstksg / inCode
  Source for personal blog.
  ☆76Updated last week
• jtobin / flat-mcmc
  Painless general-purpose sampling.
  ☆23Updated 2 weeks ago
• blynn / morans
  Get a Brain
  ☆24Updated 4 years ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆76Updated last year
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆46Updated 3 months ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• isovector / jazz
  i bet you there is a typesystem behind music
  ☆30Updated 6 years ago
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 4 years ago
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 2 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated last month
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 4 years ago
• emilypi / group-theory
  The theory of groups
  ☆75Updated last year
• dmjio / Julio
  Julia embedded in Haskell
  ☆53Updated 5 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆35Updated 4 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆55Updated last year
• jtobin / declarative
  DIY Markov Chains.
  ☆23Updated 2 weeks ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated 7 months ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆19Updated 4 years ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated 8 months ago
• gebner / hott3
  HoTT in Lean 3
  ☆75Updated 4 years ago