yarrow-id / diagrams
string diagrams for the working programmer
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for diagrams
- ☆44Updated last year
- Haskell library of algebraic topology☆23Updated 13 years ago
- Combinatorial species in HoTT☆12Updated 9 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 5 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Agda category theory library for denotational design☆48Updated 5 months ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- a datastructure for scalable combinatorial syntax☆12Updated 11 months ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 4 years ago
- egraph <-> json☆12Updated last month
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- probabilistic programming in Haskell☆17Updated 8 years ago
- Exact real arithmetic in Haskell☆25Updated 2 years ago
- ☆28Updated 6 years ago
- ☆14Updated 7 years ago
- ☆42Updated 6 months ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆45Updated 3 years ago
- What I wish I knew when learning HoTT☆53Updated 5 years ago
- A verified tensor library in Lean☆12Updated this week
- Multidimensional arrays and simple tensor computations☆38Updated 7 months ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆38Updated 2 years ago
- A formalization of finite, constructive log analysis using linear temporal logic☆19Updated this week
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆21Updated 6 years ago
- Learning about Haskell with Variational Autoencoders☆19Updated 5 years ago
- Type Your Matrices For Great Good☆29Updated 4 years ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆11Updated 3 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago