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 6 years ago
- Generic random generators☆81Updated 2 years ago
- Free ideas, worth every penny☆33Updated 5 years ago
- ☆31Updated 2 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆14Updated 7 years ago
- A tutorial on writing Haskell Language Server plugins☆70Updated 5 years ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- do-notation for Category and "Arrow without arr"☆62Updated 8 years ago
- Conway's game of life in 100 lines or less!☆35Updated 8 years ago
- Modular arithmetic, promoting moduli to the type level☆23Updated 2 months ago
- Proposed changes to Haskell Core Libraries☆19Updated 5 years ago
- Measuring CPU instructions in Haskell using Linux Performance Counters☆82Updated 7 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆70Updated last week
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆35Updated 4 years ago
- Learning rigid grammars in Haskell.☆24Updated 8 years ago
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Updated 3 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated 2 years ago
- ☆28Updated 7 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Updated 8 years ago
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Updated 2 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆154Updated last month
- Haskell library for semigroup actions and torsors☆64Updated 9 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- ICFP 2020 papers. Crowd-sourced☆90Updated 5 years ago
- A non-interactive proof assistant using the Haskell type system☆38Updated 5 years ago
- A higher-order effect system where the sky's the limit☆91Updated 3 years ago
- Define communication protocols between applications using algebraic data types.☆47Updated 2 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 7 years ago
- Monad Transformers and Classes☆76Updated 6 years ago