An editor for category theory diagrams. There is a demo of it, but it may be outdated with respect to this repository.