Alternatives and similar repositories for backprop:

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

• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆175Updated last month
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆155Updated 3 years ago
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆289Updated last month
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 7 years ago
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆195Updated 3 years ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated 2 weeks ago
• yav / graphmod
  A utility for displaying the module dependencies of Haskell programs.
  ☆183Updated 7 months ago
• mikeizbicki / ifcxt
  constraint level if statements
  ☆111Updated 7 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• diagrams / diagrams-lib
  Diagrams standard library
  ☆139Updated last week
• stevenfontanella / microlens
  A lightweight (but compatible with ‘lens’) lenses library
  ☆292Updated 2 months ago
• nomeata / ghc-justdoit
  A magic typeclass that just does it
  ☆124Updated 2 years ago
• ekmett / linear
  Low-dimensional linear algebra primitives for Haskell.
  ☆206Updated 3 weeks ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆163Updated 3 years ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆93Updated last year
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆230Updated 9 months ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆69Updated 4 months ago
• jwiegley / coq-haskell
  A library for formalizing Haskell types and functions in Coq
  ☆168Updated last year
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆112Updated 2 years ago
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆297Updated 3 months ago
• ekmett / coda
  A language experiment -- irc.freenode.net ##coda
  ☆162Updated 10 months ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆100Updated 7 years ago
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆126Updated 5 months ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• tweag / capability
  Extensional capabilities and deriving combinators
  ☆214Updated 7 months ago
• jaspervdj / profiteur
  Visualiser for Haskell (GHC) prof files
  ☆195Updated last year
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆139Updated last month
• fpco / safe-exceptions
  Safe, consistent, and easy exception handling
  ☆135Updated last year
• suhailshergill / extensible-effects
  Extensible Effects: An Alternative to Monad Transformers
  ☆174Updated 4 years ago