Note also that as a result of the move, the SHOC source code repository is now available using git at https://github.com/vetter/shoc.