Opetopic is a collection of web based tools for working with opetopic higher categories. Currently there are two tools available
- A SketchPad for drawing and exporting diagrams
- A Prover which is a graphical interface to an underlying type theory extended with opetopic expressions
You can play with an online demonstration here.