GitHub repository: kamalsaleh/CartesianCategories.jl
Primary language: Julia
Description: [READ-ONLY-SUBSPLIT] Cartesian and cocartesian categories and various subdoctrines in Julia