GitHub repository: FabianMaeurer/JuCat.jl
Primary language: Julia
Description: Category Theory Framework