Wow, this looks really nice and reminds me alot of a tool I built myself 2 years ago. [0]
The overlap in ideas is really astounding. I really like the way the nodes can be grouped in bags and how each step of running topo-sort or dijkstra is saved as a separate graph.
The way nodes are created by clicking on an existing edge feels almost exactly as in my project and I remember how excited I was coming up with the idea on my own. But obviously this project predates my project by about 2 years.
The editor is very slick. Where does the 'graph theory' part come into this though? As so far, all I've done is create some vertices and group them by 'bags'. Note that I'm a math theory novice
On the left side there are some tools for running algorithms on the graph. some are not implemented yet. But for example the "play" icons allows you to run djikstra or topological sort algorithm.
The way nodes are created by clicking on an existing edge feels almost exactly as in my project and I remember how excited I was coming up with the idea on my own. But obviously this project predates my project by about 2 years.
Really nice work.
[0] https://algorithms.laszlokorte.de