penkovsky / 10-days-of-gradLinks
Neural Networks and Deep Learning
☆33Updated last year
Alternatives and similar repositories for 10-days-of-grad
Users that are interested in 10-days-of-grad are comparing it to the libraries listed below
Sorting:
- Benchmark of the main linear algebra libraries in Haskell☆26Updated 5 years ago
- Source material for Certainty by Construction☆45Updated last year
- Source for personal blog.☆78Updated last month
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Interpret Haskell programs into any cartesian closed category.☆66Updated 2 weeks ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆106Updated 2 months ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 5 years ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 5 years ago
- Fast equality saturation in Haskell☆88Updated 2 months ago
- Machine Learning Toolbox☆36Updated 7 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated last year
- Text and Haskell source for my blog series on recursion schemes.☆45Updated 3 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆125Updated last year
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 5 months ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- The Software Foundations book, in GHC☆83Updated 9 months ago
- Haskell library for semigroup actions and torsors☆64Updated 8 months ago
- First-class type families☆88Updated last week
- Pre-processor for .hsc files☆43Updated 3 months ago
- Effects libraries in Haskell☆71Updated 2 years ago
- Competitive programming utilities in Haskell☆39Updated 2 weeks ago
- ☆44Updated 6 years ago
- type level sets☆67Updated 5 years ago
- Inspection Testing for Haskell☆189Updated 2 weeks ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated 11 months ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆61Updated 2 months ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago