mikeizbicki / cmc-csci181-deeplearning

Related projects ⓘ

Alternatives and complementary repositories for cmc-csci181-deeplearning

• cartazio / numbers
  ☆30Updated last year
• Bodigrim / mod
  Modular arithmetic, promoting moduli to the type level
  ☆24Updated 6 months ago
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 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
  ☆29Updated 4 years ago
• andrewthad / quickcheck-classes
  Quickcheck Properties for common typeclasses
  ☆34Updated 7 months ago
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆32Updated 4 years ago
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 2 months ago
• rpeszek / notes-milewski-ctfp-hs
  Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
  ☆32Updated 5 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆36Updated 6 years ago
• penkovsky / 10-days-of-grad
  Neural Networks and Deep Learning
  ☆34Updated 11 months ago
• isovector / jazz
  i bet you there is a typesystem behind music
  ☆30Updated 6 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆57Updated 9 months ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 7 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• masterdezign / dde
  Delay Differential Equations in Haskell
  ☆11Updated 5 years ago
• sordina / churros
  simple chan based stream programming with arrow interface (Chan + Arrow = Churro)
  ☆32Updated 2 years ago
• NorfairKing / easyspec
  Signature inference for Functional Property Discovery in Haskell
  ☆36Updated 7 years ago
• mstksg / servant-cli
  Generate a command line client from a servant API
  ☆29Updated 10 months ago
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆38Updated 2 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• ambuc / cornea
  👁️ Isometric 3D Graphing / Rendering module for Haskell
  ☆15Updated 7 years ago
• dnadales / sandbox
  Damian Nadales's sandbox
  ☆13Updated last year
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated last year
• koengit / satplus
  ☆13Updated last year
• dmwit / universe
  Classes for types where we know all the values
  ☆37Updated 6 months 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
• well-typed / recover-rtti
  Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
  ☆33Updated 5 months ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago