Fork from 2022 nextcloud repo
Beautiful and accessible math in all browsers
Official electron build of draw.io
The 2018 server-side PNG/PDF export implementation using Node, Puppeteer and Chrome headless
Various tools for draw.io
The JGraph 5 legacy code
