In the same kind of vein: I was recently very impressed by this pretri net editor https://pes.vsb.cz/petrineteditor/#/model
Petri nets are cool. They’re sort of like if finite state machines could be multithreaded.
I first found out about petri nets when reading the writings of an organization called “statebox”. Statebox was interested in petri nets and commutative diagrams (as well as many other category theory concepts). I read some of their papers, was entranced, and it became my dream to work there. Unfortunately their homepage now is just the text “imagine being a category theorist” with a laughing-crying emoji, so I have no idea what happened to them.
Just used this a few days ago to draw a simple diagram [0] for my book [1]! Unfortunately, because it is for category theory only, it doesn't have much support for prettifying your nodes, but you can do that with the latex, of course.
[0] https://q.uiver.app/#q=WzAsNSxbMSw2LCJcXHRleHR7TmF0dXJhbCBEZ...
I was using https://tikzcd.yichuanshen.de/ last night, which is basically a less feature-filled version of this. It’s quite nice for doing simple diagrams, though.
Can anyone explain what "commutative and pasting diagrams" are to a humble (and not very good) software writer?
The Wikipedia page was too abstract for me to understand at a basic level [0].
Is there a possibility to export in a web-friendly format? I guess SVG would be it? If I ran quiver in localhost then sharing via a link is not an option.
Quiver was absolutely indispensable when I did a category theory course a few years ago. The UI was clean, intuitive, and featureful. Compared to banging one's head against Tikz, it's absolutely no contest.
Very nice product! In the past I usually wrote TikZ code by hand and it was pretty fast but now I forgot a lot of that stuff and this could be very useful for commutative diagrams.
There's a codegen tool waiting to be built here
I've used Quiver a number of times now, and all of them were great experiences. Kudos to the authors!
A Typst export option would be wonderful to have alongside the LaTeX one.
This is amazing!
This tool is fantastic! I was able to generate a Fourier-Poisson cube [0] in about 10 minutes, and the UI is incredibly intuitive.
The focus on commutative diagrams, rather than a free-form canvas, is a brilliant design choice that keeps it clean and easy to use. I wish I'd had this during my thesis; it would have saved so much time.
[0] https://q.uiver.app/#q=WzAsOCxbMCwxLCJnIFxcdGV4dHsgb24gfVxcb...