ZX Calculus

ZX calculus is a graphical calculus (looks like colored birdtracks) for qubit manipulation.

Here is a nice introduction.

The idea is that you can write out every gate in terms of simple operations in the two standard bases, i.e. eigenvectors of the Pauli matrices z and x.