GitHub repository: JonathanGorard/Categorica
Primary language: Mathematica
Created: 2022-05-15T13:34:10Z
Description: Categorica: a pure and applied category theory framework for the Wolfram Language