Javascript library for manipulating graphs.