Alternatives and similar repositories for ad:

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

• tweag / monad-bayes
  A library for probabilistic programming in Haskell.
  ☆429Updated this week
• ekmett / linear
  Low-dimensional linear algebra primitives for Haskell.
  ☆208Updated 2 months ago
• haskell-numerics / hmatrix
  Linear algebra and numerical computation
  ☆390Updated 10 months ago
• compiling-to-categories / concat
  Compiling to Categories
  ☆450Updated last year
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆420Updated 5 years ago
• lehins / massiv
  Efficient Haskell Arrays featuring Parallel computation
  ☆386Updated 3 months ago
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆140Updated 3 months ago
• haskell / vector
  An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
  ☆377Updated 3 months ago
• AccelerateHS / accelerate
  Embedded language for high-performance array computations
  ☆917Updated 2 weeks ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆346Updated 5 months ago
• haskell / mtl
  The Monad Transformer Library
  ☆378Updated 9 months ago
• HoTT / HoTT-Agda
  Development of homotopy type theory in Agda
  ☆425Updated 6 years ago
• ekmett / trifecta
  Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
  ☆300Updated 2 months ago
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆188Updated 10 months ago
• goldfirere / glambda
  The home of the Glamorous Glambda interpreter
  ☆224Updated last month
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆54Updated 4 years ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆206Updated 6 years ago
• haskell / statistics
  A fast, high quality library for computing with statistics in Haskell.
  ☆305Updated last week
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆581Updated last year
• agda / agda-categories
  A new Categories library for Agda
  ☆377Updated this week
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆254Updated this week
• kcsongor / generic-lens
  Generically derive traversals, lenses, and prisms.
  ☆441Updated last month
• well-typed / optics
  Optics as an abstract interface
  ☆384Updated 2 weeks ago
• acowley / Frames
  Data frames for tabular data.
  ☆300Updated last year
• fused-effects / fused-effects
  A fast, flexible, fused effect system for Haskell
  ☆655Updated last week
• fpco / inline-c
  ☆291Updated 5 months ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆343Updated last month
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆150Updated 8 months ago
• haskell / containers
  Assorted concrete container types
  ☆337Updated this week
• diagrams / diagrams-lib
  Diagrams standard library
  ☆139Updated 2 months ago