A theoretically test driven library of different graph data structures. Theorems are tested in mocha.