Software Projects

• opetopic — web-based interactive editor for opetopic sets and higher-categorical pasting diagrams
• opetopic-types — Agda library formalizing opetopic type theory and higher-categorical structures
• catt.io — implementation of the CaTT type theory for strictly unital ∞-categories