diagram-js-ext

A toolbox for displaying and modifying diagrams on the web