penkovsky / 10-days-of-gradLinks
Neural Networks and Deep Learning
☆33Updated 2 years ago
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 for personal blog.☆78Updated 3 months ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated last year
- Source material for Certainty by Construction☆46Updated last year
- The theory of groups☆80Updated 2 years ago
- Interpret Haskell programs into any cartesian closed category.☆67Updated last week
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆57Updated 5 years ago
- First-class type families☆90Updated last month
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆55Updated 8 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 7 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated 2 years ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- Haskell library for semigroup actions and torsors☆64Updated 10 months ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆127Updated last year
- A work stealing scheduler☆79Updated 11 months ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 3 months ago
- Machine Learning Toolbox☆36Updated 7 years ago
- Haskell library containing common graph search algorithms☆54Updated 5 months ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- Text and Haskell source for my blog series on recursion schemes.☆45Updated 3 years ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆76Updated 3 months ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- Generates a references DB from .hie files☆68Updated 4 months ago
- Haskell library for doing category theory with a central role for profunctors☆24Updated last week
- Strongly-typed System F in Haskell☆119Updated 3 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- ☆36Updated 4 years ago
- type level sets☆67Updated 6 years ago