plotly /dash-cytoscapePython678123Interactive network visualization in Python and Dash, powered by Cytoscape.jsplotly-dashplotlydashcytoscape
rocq-community /graph-theoryRocq Prover464Graph Theory [maintainers=@chdoc,@damien-pous]coqgraph-theorymathcompdocker-coq-action