#

string-diagram

Here are 2 public repositories matching this topic...

homotopy-io / homotopy-rs

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 Jan 26, 2025
Rust

sd-visualiser / sd-visualiser

String diagram visualiser

compiler-plugin programming-language-theory string-diagram string-diagrams mlir lamda-calculus

Updated Jan 26, 2025
Rust

Improve this page

Add a description, image, and links to the string-diagram topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the string-diagram topic, visit your repo's landing page and select "manage topics."