There are 0 repository under symmetric-monoidal-categories topic.
Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids
The monorepo of YulDSL, a DSL for Solidity/Yul, and a programming frontend Yolc.