We're looking into releasing a standalone version of the autograders (in response to this comment, actually). No promises yet. I'll reply here if there are inte

We're looking into releasing a standalone version of the autograders (in response to this comment, actually). No promises yet. I'll reply here if there are interesting developments.