I am relying on GraphViz for now and any optimization or customization would likely involve updating the DOT renderer (either on this repo or the graph library if too generic). I’ll also look into how mingrammer works. That library seems to generate large graphs well too, and afaict it’s Graphviz based.
For generic graphs, I am exploring the rendering landscape. Looking at how NetworkX, visgraph or equi-graph are doing it. Might play around with it a bit next month.
For now, I’ll work on ensuring I have the analysis and rendering right. And then move to scale 
I will be updating about Choreo here
