GitHub repository: neu-pml/discopy
Primary language: Python
Description: a toolbox for computing with monoidal categories