GitHub repository: marcofernandez007/discopy
Description: a toolbox for computing with monoidal categories