Alternatives and similar repositories for cmc-csci181-deeplearning:

Users that are interested in cmc-csci181-deeplearning are comparing it to the libraries listed below

• cartazio / numbers
  ☆30Updated last year
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 5 years ago
• Bodigrim / mod
  Modular arithmetic, promoting moduli to the type level
  ☆24Updated last month
• sheyll / newtype-zoo
  A Zoo of Haskell Newtype Wrappers
  ☆14Updated 4 years ago
• aaronlevin / free-vl
  van Laarhoven Free Monad with Extensible Effects
  ☆23Updated 9 years ago
• jwiegley / coq-cds4ltl
  A formalization of finite, constructive log analysis using linear temporal logic
  ☆19Updated this week
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• bolt12 / tymfgg-pearl
  Type Your Matrices For Great Good
  ☆30Updated 4 years ago
• bgamari / ghc-debug
  Moved to Haskell.org GitLab.
  ☆61Updated 10 months ago
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 years ago
• jdolson / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆14Updated 6 years ago
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆32Updated 4 years ago
• chessai / eigen
  Haskell bindings to the Eigen C++ library
  ☆16Updated 9 months ago
• byorgey / enumeration
  Simple Haskell package for efficiently indexable finite and infinite enumerations.
  ☆12Updated last week
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated last month
• jonascarpay / convoluted
  Dependently typed convolutional neural networks
  ☆35Updated 7 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• masterdezign / dde
  Delay Differential Equations in Haskell
  ☆11Updated 6 years ago
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 5 months ago
• ChrisPenner / conway
  Conway's game of life in 100 lines or less!
  ☆35Updated 7 years ago
• bravit / tt-ghc-exercises
  ☆28Updated 6 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 6 years ago
• mstksg / servant-cli
  Generate a command line client from a servant API
  ☆28Updated last year
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆60Updated last month
• sinelaw / fresh
  ☆14Updated 7 years ago
• NorfairKing / easyspec
  Signature inference for Functional Property Discovery in Haskell
  ☆38Updated 7 years ago
• patrickt / empathy
  a modern library for typed path manipulation in Haskell
  ☆36Updated 3 years ago
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 3 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year