bolt12 / laop
Linear Algebra of Programming - Algebraic Matrices in Haskell
☆83Updated last year
Related projects: ⓘ
- ☆42Updated this week
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Many-dimensional type-safe numeric ops☆46Updated 2 years ago
- Named parameters (keyword arguments) for Haskell☆92Updated last year
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- Basics of the dependently-typed functional language Agda ^_^☆37Updated 2 years ago
- Learn the Agda basics in three 2-hour sessions.☆53Updated 10 months ago
- Source for personal blog.☆77Updated last week
- HoTT Note-taking action☆25Updated 5 years ago
- Haskell bindings to ArrayFire☆60Updated last month
- Fast equality saturation in Haskell☆75Updated 4 months ago
- Formalizing linear algebra in Agda by representing matrices as functions☆25Updated 8 months ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆56Updated 5 years ago
- Paper and talk☆43Updated last year
- A talk☆28Updated 3 years ago
- They see me rollin'. They're Heyting. Patrollin' and tryna catch me ridin' dirty. -- Chamillionaire, 2005☆82Updated 3 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 7 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated 11 months ago
- A verified compiler for a lazy functional language☆31Updated this week
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 7 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 6 months ago
- Type Your Matrices For Great Good☆29Updated 4 years ago
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated 3 weeks ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated last month
- ☆28Updated 6 years ago
- ☆85Updated this week
- An experimental Haskell library for programming with effectful runners.☆29Updated 4 years ago
- Dhall bindings for Idris☆40Updated 11 months ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 4 years ago