appliedcategorytheory / TikZWDLinks
A TikZ library of wiring diagrams
☆22Updated 6 years ago
Alternatives and similar repositories for TikZWD
Users that are interested in TikZWD are comparing it to the libraries listed below
Sorting:
- ☆127Updated last year
- Operad Programming Language in Haskell, by David Darais☆33Updated 11 years ago
- ☆52Updated last year
- A database of small finite categories☆14Updated 2 years ago
- What I wish I knew when learning HoTT☆53Updated 6 years ago
- Theory and Applications of Lenses and Optics☆56Updated 3 years ago
- ☆44Updated 3 years ago
- Categorical logic from a categorical point of view☆81Updated 2 years ago
- Template to effortlessly build math-rich websites☆40Updated 4 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated last month
- ☆27Updated last year
- A program for generating LaTeX TikZ code for string diagrams.☆19Updated 4 years ago
- An experimental category theory library for Lean☆51Updated 2 years ago
- A topological data analysis library for Haskell☆29Updated 4 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 10 months ago
- Effective Algebraic Topology in Haskell☆91Updated last year
- Paper and talk☆55Updated 2 years ago
- The theory of algebraic graphs formalised in Agda☆91Updated 7 years ago
- A geometric algebra implementation in Haskell☆32Updated 5 years ago
- Basics of the dependently-typed functional language Agda ^_^☆41Updated 4 years ago
- ☆86Updated 8 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85Updated 9 months ago
- Schemes in Lean (v2)☆43Updated 5 years ago
- Synthetic Differential Geometry in Agda☆13Updated 11 years ago
- A graphical editor for graph-like structures☆104Updated 2 years ago
- Tutorial series introducing Agda to the people at BCAM☆27Updated 4 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- Real number computation software☆129Updated 3 years ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Updated last year