string-diagram

There are 0 repository under string-diagram topic.

homotopy-io / homotopy-rs
A Rust/WASM implementation of homotopy.io
category-theory diagram diagrams higher-category-theory math mathematics maths proof-assistant proof-assistants rust string-diagram string-diagrams
Language:Rust 73
smimram / strid
A string diagram generator for LaTeX.
latex ocaml string-diagram
Language:OCaml 25
smimram / satex
String diagrams in LaTeX.
latex ocaml string-diagram
Language:OCaml 13
wetneb / sheetshow
A renderer for sheet diagrams in bimonoidal categories
bimonoidal renderer svg string-diagram category-theory
Language:JavaScript 11
CompositionalPlanning / CompositionalPlanning
String Diagrams for Assembly Planning
category-theory string-diagrams string-diagram applied-ca lego lego-block minecraft-mod planning planning-algorithms
Language:Jupyter Notebook 7
statebox / purescript-studio
Statebox studio + core + API + REST client
statebox purescript petrinet string-diagram editor protocol-oriented-programming gui api
Language:PureScript 4
sd-visualiser / sd-visualiser
String diagram visualiser
compiler-plugin lamda-calculus mlir programming-language-theory string-diagram string-diagrams
Language:Rust 3
yaml-programming / diagrams
UNIX graphical programming with YAML
category-theory hypergraph string-diagram unix yaml
Language:Python 3
toumix / tally
Quantum-enhanced generative art
generative-art qnlp quantum-computing quantum-natural-language-processing string-diagram
Language:Jupyter Notebook 0