ajknapp / accelerate-ad

Related projects ⓘ

Alternatives and complementary repositories for accelerate-ad

• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 2 years ago
• o1lo01ol1o / diffhask
  DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.
  ☆26Updated 5 years ago
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 8 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• NCrashed / servant-auth-token
  Servant based API and server for token based authorisation
  ☆14Updated 5 years ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆54Updated 11 months ago
• twanvl / multiset
  multiset haskell package
  ☆19Updated last year
• Genetic-Strictness / Autobahn
  ☆18Updated 5 years ago
• declanoller / haskell-vae
  Learning about Haskell with Variational Autoencoders
  ☆19Updated 4 years ago
• chessai / eigen
  Haskell bindings to the Eigen C++ library
  ☆16Updated 5 months ago
• adamConnerSax / knit-haskell
  Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.
  ☆29Updated 3 weeks ago
• bergey / ghc-passes-graph
  ☆25Updated 3 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 5 months ago
• expipiplus1 / vector-sized
  ☆33Updated last month
• clash-lang / ghc-typelits-knownnat
  Derive KnownNat constraints from other KnownNat constraints
  ☆14Updated 5 months ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆57Updated 8 months ago
• emilaxelsson / syntactic
  Generic representation and manipulation of abstract syntax
  ☆25Updated 2 years ago
• jonascarpay / convoluted
  Dependently typed convolutional neural networks
  ☆34Updated 7 years ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆15Updated 2 years ago
• andriusstank / downhill
  ☆20Updated last year
• conal / circat
  A categorical framework for circuit construction
  ☆30Updated 8 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 3 months ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆51Updated 5 months ago
• phadej / overloaded
  Overloaded plugin
  ☆31Updated 4 months ago
• jtobin / declarative
  DIY Markov Chains.
  ☆23Updated 3 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• byteverse / colonnade
  Generic types and functions for encoding and decoding columns
  ☆43Updated this week
• soenkehahn / generics-eot
  A library for generic programming that aims to be easy to understand
  ☆26Updated 3 years ago