homotopy-io / homotopy-rs Star 121 Code Issues Pull requests Discussions 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 Sep 6, 2026 Rust
smimram / strid Star 32 Code Issues Pull requests A string diagram generator for LaTeX. latex ocaml string-diagram Updated May 28, 2026 OCaml
colltoaction / mytilus Sponsor Star 31 Code Issues Pull requests A higher-order computing system language yaml unix lisp smalltalk proof-assistant category-theory hypergraph wiring-diagram string-diagram mlir Updated May 5, 2026 Python
smimram / satex Star 20 Code Issues Pull requests String diagrams in LaTeX. latex ocaml string-diagram Updated Jul 22, 2026 OCaml
sd-visualiser / sd-visualiser Star 19 Code Issues Pull requests String diagram visualiser compiler-plugin programming-language-theory string-diagram string-diagrams mlir lamda-calculus Updated Sep 6, 2026 Rust
wetneb / sheetshow Star 13 Code Issues Pull requests A renderer for sheet diagrams in bimonoidal categories svg category-theory renderer string-diagram bimonoidal Updated Aug 28, 2021 JavaScript
CompositionalPlanning / CompositionalPlanning Star 8 Code Issues Pull requests 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
statebox / purescript-studio Star 5 Code Issues Pull requests Statebox studio + core + API + REST client editor api gui purescript petrinet protocol-oriented-programming statebox string-diagram Updated Jun 12, 2020 PureScript
toumix / tally Sponsor Star 0 Code Issues Pull requests Quantum-enhanced generative art quantum-computing generative-art string-diagram qnlp quantum-natural-language-processing Updated Dec 9, 2023 Jupyter Notebook