GitHub repository: maxsnew/cubical-categorical-logic
Primary language: Agda
Description: Extensions to the cubical stdlib category theory for categorical logic/type theory