Alternatives and similar repositories for cmc-csci181-deeplearning:

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

• jdolson / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆14Updated 6 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 6 years ago
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated last year
• bobatkey / CS316-19
  The 2019/2020 edition of Strathclyde's CS316 Functional Programming course
  ☆41Updated 4 years ago
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 5 years ago
• bolt12 / tymfgg-pearl
  Type Your Matrices For Great Good
  ☆30Updated 4 years ago
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆56Updated 5 years ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 5 years ago
• haskell-perf / graphs
  ☆39Updated 4 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆41Updated last month
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆32Updated 4 years ago
• pkamenarsky / knit
  Ties the knot on data structures that reference each other by unique keys
  ☆47Updated 5 months ago
• rampion / conkin
  Tools for functors from Hask^k to Hask
  ☆23Updated 5 years ago
• haskell-core / core-libraries-proposals
  Proposed changes to Haskell Core Libraries
  ☆19Updated 4 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆92Updated 3 months ago
• bravit / tt-ghc-exercises
  ☆28Updated 6 years ago
• McMasterU / HashedExpression
  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
  ☆42Updated 2 months ago
• cartazio / numbers
  ☆30Updated last year
• Petrosz007 / haskell-profile-highlight
  Color highlighting for Haskell profiling information
  ☆40Updated 3 years ago
• dmwit / pi-eta-epsilon
  An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
  ☆23Updated 12 years ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆68Updated 3 months ago
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 4 months ago
• kcsongor / symbols
  Symbol manipulation
  ☆36Updated last year
• isovector / jazz
  i bet you there is a typesystem behind music
  ☆31Updated 6 years ago
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆46Updated 3 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆36Updated 4 years ago