Open source repositories tagged with #category-theory, ranked by health score.
The Python toolkit for computing with string diagrams.
