bolt12 / laop
Linear Algebra of Programming - Algebraic Matrices in Haskell
☆83Updated last year
Related projects ⓘ
Alternatives and complementary repositories for laop
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Many-dimensional type-safe numeric ops☆46Updated 2 years ago
- Basics of the dependently-typed functional language Agda ^_^☆38Updated 2 years ago
- Haskell library for semigroup actions and torsors☆57Updated 9 months ago
- Order theory☆23Updated last year
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- Dhall bindings for Idris☆40Updated last year
- HoTT Note-taking action☆25Updated 5 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 3 years ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 3 years ago
- Haskell bindings to ArrayFire☆60Updated 3 months ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated last week
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆122Updated 3 months ago
- Source for personal blog.☆76Updated last week
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆25Updated 10 months ago
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- Generic random generators☆81Updated last year
- A library for doing generic programming in Agda☆28Updated 3 years ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated 8 months ago
- Library of categories, with categorical constructions on them☆54Updated last year
- A talk☆28Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated last month
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Tactic Metaprogramming in Haskell☆57Updated 5 years ago