GitHub repository: usabarashi/pycategory
Primary language: Python
Description: Python implementation of Category Theory