Proposals for Google Summer of Code 2013