In case you've been wondering what I've been doing all summer: implementing the infamous Solovay-Kitaev algorithm for generic SU(d) (multi-qubit) gates.
http://quantum-compiler.org
In case you can't tell, I am more excited about projects that have domain names.
And now, on to Super-Kitaev!