bolt12 / laop
Linear Algebra of Programming - Algebraic Matrices in Haskell
☆84Updated last year
Alternatives and similar repositories for laop:
Users that are interested in laop are comparing it to the libraries listed below
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 2 years ago
- Many-dimensional type-safe numeric ops☆46Updated 3 years ago
- Haskell bindings to ArrayFire☆60Updated 3 months ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- Learn the Agda basics in three 2-hour sessions.☆56Updated last year
- Library of categories, with categorical constructions on them☆56Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- ☆30Updated 6 years ago
- Paper and talk☆51Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- type level sets☆67Updated 5 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 7 months ago
- Fine-grained lattice primitives for Haskell☆36Updated last month
- Haskell library for semigroup actions and torsors☆60Updated last month
- Type Your Matrices For Great Good☆30Updated 4 years ago
- Yet another yet another recursion scheme library in Haskell.☆87Updated this week
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated 5 months ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated 2 weeks ago
- Agda-style equational reasoning in Haskell☆52Updated 2 months ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆28Updated 3 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 7 months ago
- Source for personal blog.☆77Updated this week