Alternatives and similar repositories for cmc-csci181-deeplearning

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

• bolt12 / tymfgg-pearl
  Type Your Matrices For Great Good
  ☆30Updated 4 years ago
• rpeszek / notes-milewski-ctfp-hs
  Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
  ☆34Updated 6 years ago
• Bodigrim / mod
  Modular arithmetic, promoting moduli to the type level
  ☆23Updated 4 months ago
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 8 months ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated 2 years ago
• haskell-perf / graphs
  ☆40Updated 5 years ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆62Updated 3 months ago
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 5 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• ChrisPenner / conway
  Conway's game of life in 100 lines or less!
  ☆35Updated 7 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• kcsongor / symbols
  Symbol manipulation
  ☆36Updated 2 years ago
• aimyskk / competitive-haskell
  Snippets for competitive programming in Haskell
  ☆22Updated 7 years ago
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆32Updated 4 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last week
• ekmett / folds
  Folds and sequence algebras
  ☆18Updated 2 years ago
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• sordina / churros
  simple chan based stream programming with arrow interface (Chan + Arrow = Churro)
  ☆32Updated 2 years ago
• Genetic-Strictness / Autobahn
  ☆18Updated 5 years ago
• isovector / jazz
  i bet you there is a typesystem behind music
  ☆32Updated 6 years ago
• gelisam / linear-examples
  Example uses of linear types
  ☆43Updated 4 years ago
• jdolson / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆14Updated 7 years ago
• chessai / eigen
  Haskell bindings to the Eigen C++ library
  ☆16Updated 11 months ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆54Updated last year
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• sheyll / newtype-zoo
  A Zoo of Haskell Newtype Wrappers
  ☆14Updated 4 years ago
• freeman42x / haskell-streamers
  List of Haskell streamers on Twitch, YouTube, etc.
  ☆29Updated 4 years ago
• emilypi / smash
  Smash products, Wedge products, and other Pointed stuff
  ☆34Updated 3 years ago
• mstksg / servant-cli
  Generate a command line client from a servant API
  ☆28Updated last year