cubical-type-theory topic
mlang
Towards changing things and see if it proofs
bonak
🧊 An indexed construction of semi-simplicial and semi-cubical types
cooltt
😎TT
cubicaltt
Experimental implementation of Cubical Type Theory
sml-redprl
The People's Refinement Logic
redtt
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
quotient
quotient types in cubical Agda
intellij-dtlc
IntelliJ plugin for several experimental programming languages here
cubical-categories
Category theory formalized in cubical agda
kado
🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory