GrALoG is a tool for visualising the results of algorithms running on graph-like mathematical structures. Through its plugins GrALoG is easily extendable, i.e. it is possible to implement your own mathematical structures and algorithms for GrALoG. GrALoG consists of three main parts:

Via plugins GrALoG is hugely extendable. A plugin can define it's own structures and algorithms that can be used in the GrALoG-Application.

Structures in GrALoG are mathematical graphs, where the vertices, edges and the structure itself can have arbitrary properties. That makes GrALoG-structures; suitable to a huge number of applications such as finite automata, game graphs, parity game graphs, transitionsystems, etc. .

GrALoG-algorithms are algorithms that can be run in the GrALoG-Application. GrALoG-algorithms can take arbitrary parameters, including GrALoG-structures, and produce a hugely customisable result that is displayed in the GrALoG-Application.