mikeizbicki / cmc-csci181-deeplearningLinks
deep learning course materials
☆15Updated 5 years ago
Alternatives and similar repositories for cmc-csci181-deeplearning
Users that are interested in cmc-csci181-deeplearning are comparing it to the libraries listed below
Sorting:
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Generic random generators☆81Updated 2 years ago
- A Haskell blog☆146Updated last month
- Number theory: primes, arithmetic functions, modular computations, special sequences☆156Updated last month
- Free ideas, worth every penny☆32Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- ☆31Updated last year
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆190Updated 2 months ago
- Learning rigid grammars in Haskell.☆24Updated 7 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 3 months ago
- An interpreter for Gödel's System T☆12Updated 8 years ago
- A non-interactive proof assistant using the Haskell type system☆37Updated 5 years ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 5 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated 9 months ago
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- Moved to Haskell.org GitLab.☆61Updated 2 months ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- The 2019/2020 edition of Strathclyde's CS316 Functional Programming course☆41Updated 5 years ago
- Paper and talk☆54Updated 2 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated last year
- compiler with polyhedral optmization for a lazy functional programming language☆68Updated 7 years ago
- GHC Whole Program Compiler and External STG IR tooling☆118Updated 8 months ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 6 years ago
- Conway's game of life in 100 lines or less!☆35Updated 8 years ago
- What I wish I knew when learning HoTT☆53Updated 6 years ago
- "Writing 2D games using super simple Haskell" at Haskell Love 2020 conference https://haskell.love/jan-christopher-vogt/☆29Updated 5 years ago
- Haskell library for semigroup actions and torsors☆63Updated 6 months ago
- Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell☆48Updated 3 years ago
- Haskell embedding of PlusCal☆61Updated 3 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 4 years ago