Describir: Applied and algorithmic graph theory