G

graph-theory

Aniceto is a library that helps Coq development. It includes a libray of properties on graph theory.

Graph-Pursuit–Evasion is a python implementation of the classic discrete pursuit-evasion game on graphs.

Ищет путь от точки до точки, в направленном графе.

Julia project for working with the normalized Laplacian spread