Alternatives and similar repositories for tensor-safe:

Users that are interested in tensor-safe are comparing it to the libraries listed below

• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆187Updated 9 months ago
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆50Updated 2 years ago
• doofin / differentiable-idris
  dependent types meets deep learning
  ☆43Updated 6 years ago
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 3 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last year
• helq / tensorflow-haskell-deptyped
  Reexporting TensorFlow Haskell with dependent typed functions
  ☆46Updated 5 years ago
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆112Updated 2 years ago
• aligusnet / mltool
  Machine Learning Toolbox
  ☆36Updated 6 years ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 4 years ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆69Updated 6 months ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 4 months ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆79Updated last month
• qfpl / sv
  Comma (and other) separated values
  ☆77Updated last year
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 7 years ago
• theam / tintin
  📚 A softer alternative to Haddock
  ☆106Updated 5 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated last month
• isovector / type-sets
  type level sets
  ☆67Updated 5 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆121Updated 3 months ago
• Simspace / avaleryar
  A logical authorization system
  ☆50Updated 3 years ago
• diffusionkinetics / open
  DiffusionKinetics open-source monorepo
  ☆116Updated 2 years ago
• lehins / scheduler
  A work stealing scheduler
  ☆75Updated 3 months ago
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆41Updated 3 weeks ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated 2 years ago
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆79Updated 10 months ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 11 months ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated 2 weeks ago
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 7 years ago
• leptonyu / tensors
  Tensors in Haskell
  ☆40Updated 2 months ago
• fpco / weigh
  Measure allocations of a Haskell functions/values
  ☆94Updated 5 months ago
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆214Updated 9 months ago