cubicaltt. Experimental implementation of Cubical Type Theory
yacctt. yacctt: Yet Another Cartesian Cubical Type Theory
gen-cart. A Unifying Cartesian Cubical Set Model
AlgTop. Haskell library of algebraic topology
TypeTheory. Coq
martin-lof. papers of Per Martin Löf
Schools. Coq
