yarrow-id / diagramsLinks
string diagrams for the working programmer
☆14Updated 2 years ago
Alternatives and similar repositories for diagrams
Users that are interested in diagrams are comparing it to the libraries listed below
Sorting:
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Updated 5 months ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Agda category theory library for denotational design☆56Updated 2 months ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆16Updated last week
- Automated Reasoning for the Working Mathematician☆11Updated 6 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆42Updated this week
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆28Updated 2 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 3 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Updated 3 months ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 6 years ago
- A geometric algebra implementation in Haskell☆32Updated 5 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- egraph <-> json☆15Updated 3 weeks ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 9 months ago
- ☆51Updated last year
- ☆13Updated 3 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 5 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Updated 3 years ago
- Tutorial series introducing Agda to the people at BCAM☆27Updated 4 years ago
- A formal verification of Linear Temporal Logic in Coq☆23Updated 2 months ago
- A formalization of ML kernel languages☆39Updated this week
- probabilistic programming in Haskell☆17Updated 9 years ago
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆18Updated 2 years ago
- Combinatorial species in HoTT☆12Updated 10 years ago
- A formalization of the theory behind the mugen library☆19Updated last year
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆36Updated 10 months ago
- ☆32Updated 7 years ago
- An implementation of Fibonacci Anyons in Haskell☆22Updated 6 years ago
- ☆49Updated 2 years ago