String diagram visualiser for programs with semantics in closed monoidal categories.

sd-visualiser is an interactive tool to visualise string diagrams, based on idea that string diagrams encoded as hierarchical hypergraphs, representing terms in a closed monoidal category, provide a foundation for building programming languages, building on the work of 1 2.

A toy language, sd-lang, is defined in a similar vein to the spartan language 3, and is used to define programs which can be represented as string diagrams. sd-visualiser provides a playground to experiment with sd-lang, and to visualise and interact with the corresponding string diagram.

sd-visualiser also supports LLVM MLIR 4, and can be used to visualise MLIR programs as string diagrams.

sd-visualiser running in the web browser at https://sd-visualiser.github.io/sd-visualiser/

MLIR simple example

Please go to https://sd-visualiser.github.io/sd-visualiser/ to use the web version of the visualiser. Support for LLVM IR, along with other minor features, such as faster layout, are not available in the web version.

sudo apt install coinor-libcbc3 libgtk-3-dev

1 D. R. Ghica, K. Muroya, and T. W. Ambridge, ‘A robust graph-based approach to observational equivalence’. arXiv, Sep. 23, 2021. doi: 10.48550/arXiv.1907.01257.

2 D. Ghica and F. Zanasi, ‘String Diagrams for $\lambda$-calculi and Functional Computation’. arXiv, Oct. 19, 2023. doi: 10.48550/arXiv.2305.18945.

3 T. W. Ambridge, ‘Sᴘᴀʀᴛᴀɴ Visualiser’, Spartan Visualiser. https://tnttodda.github.io/Spartan-Visualiser/.

4 C. Lattner et al., ‘MLIR: Scaling Compiler Infrastructure for Domain Specific Computation’, in 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), Feb. 2021, pp. 2–14. doi: 10.1109/CGO51591.2021.9370308.