A framework for applied category theory in the Julia language
-
Updated
Nov 11, 2024 - Julia
#
string-diagrams
Here are 11 public repositories matching this topic...
A Rust/WASM implementation of homotopy.io
rust
math
diagram
mathematics
proof-assistant
category-theory
diagrams
maths
string-diagram
string-diagrams
proof-assistants
higher-category-theory
-
Updated
Nov 11, 2024 - Rust
A toolkit for higher-dimensional diagram rewriting.
topology
category-theory
cell-complexes
homotopy-theory
rewriting
higher-algebra
string-diagrams
monoidal-categories
higher-category-theory
cubical-sets
simplicial-sets
-
Updated
Sep 15, 2022 - Python
Create string diagrams with LaTeX!
-
Updated
May 11, 2024 - TeX
Code for the paper "Rendering string diagrams recursively".
-
Updated
Aug 13, 2023 - Haskell
Wiring diagrams in HTML canvas
-
Updated
Jul 15, 2024 - TypeScript
String Diagrams for Assembly Planning
minecraft-mod
planning
category-theory
lego
lego-block
planning-algorithms
string-diagram
string-diagrams
applied-ca
-
Updated
Jun 1, 2020 - Jupyter Notebook
String diagram visualiser
-
Updated
Nov 10, 2024 - Rust
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'
-
Updated
Aug 5, 2022 - TeX
Slides for my talk at the LFCS seminar, 'A compositional theory of digital circuits'
-
Updated
Feb 7, 2023 - TeX
A visualiser for circuits represented as hypergraphs
-
Updated
Dec 11, 2022 - Reason
Improve this page
Add a description, image, and links to the string-diagrams topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the string-diagrams topic, visit your repo's landing page and select "manage topics."