Visual editor for cubical-agda code, currently I am rewriting it in haskell and integrating with emacs. New version will allow to edit code in 3 and 4 dimensions :)